INSTANCE function_call#3; tipe = simple_type(boolean_type); is_variable = true; function_called = built_in_function#6; actual_parameters = [explicit_attribute#534]; END_INSTANCE;