user_defined_function
INSTANCE user_defined_function#2;
name = "value_is_within_range";
formal_parameters = [formal_parameter#28, formal_parameter#29];
return_type = simple_type(boolean_type);
parameter_type = simple_type(boolean_type);
body = {return_statement#2};
END_INSTANCE;
INSTANCE user_defined_function#3;
name = "is_sub_range";
formal_parameters = [formal_parameter#30, formal_parameter#31];
return_type = simple_type(boolean_type);
parameter_type = simple_type(boolean_type);
body = {return_statement#3};
END_INSTANCE;