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;