Translator fix for operations passed as parameters to realizations