function_call


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;