[call [arg objectName] [method i:[vset G]_[vset INS]]]

This method implements a guarded variant of the the PARAM instruction
[cmd [vset INS]], which executes only for "ST == [vset G]".