`RULE-13-5`: Improve reporting to clarify type of side effect

[lcartey]

The query doesn't currently report what type of side effect is highlighted. This can make it difficult to identify why correct results are reported, as some side-effects aren't that obvious, such as accessing a volatile variable.