minor fix in pseudo-code using forall_inst rule

Mallku Soldevilarequested to merge
rules/forall_inst into master

I was missing some other pseudocode example using rule forall_inst, where the argument passed was incorrect. This merge request fixes that.

Merge request reports