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

This guarded method, a variant of [method i_[vset INS]], executes only
for "ST == [vset G]".