INSTANCE function_call#4; hlcs_extracted = {non_null#6}; (* set indirectly *) covered_by = {non_null#6}; (* set indirectly *) tipe = simple_type(boolean_type); is_variable = true; function_called = built_in_function#6; actual_parameters = [explicit_attribute#291]; END_INSTANCE;