INSTANCE negation#1; tipe = simple_type(boolean_type); operand = function_call#1; END_INSTANCE;
INSTANCE negation#2; operand = ?o; END_INSTANCE;