comparator


INSTANCE comparator#8;
	description = "age >= 0";
	corresponds_to = {correspondence#57};
	hlcs_extracted = {bound#8}; (* set indirectly *)
	covered_by = {bound#8}; (* set indirectly *)
	tipe = simple_type(logical_type);
	greater = explicit_attribute#293;
	lesser = integer_literal#105;
	inclusive = inclusive_or_exclusive(inclusive);
	discrete = discrete_or_continuous(discrete);
	which_way_round = way_round(greater_first);
END_INSTANCE;

INSTANCE comparator#9;
	description = "age < 130";
	corresponds_to = {correspondence#58};
	hlcs_extracted = {bound#9}; (* set indirectly *)
	covered_by = {bound#9}; (* set indirectly *)
	tipe = simple_type(logical_type);
	greater = integer_literal#106;
	lesser = explicit_attribute#293;
	inclusive = inclusive_or_exclusive(exclusive);
	discrete = discrete_or_continuous(discrete);
	which_way_round = way_round(lesser_first);
END_INSTANCE;

INSTANCE comparator#10;
	description = "age < 65";
	corresponds_to = {correspondence#58};
	hlcs_extracted = {bound#10}; (* set indirectly *)
	covered_by = {bound#10}; (* set indirectly *)
	tipe = simple_type(logical_type);
	greater = integer_literal#112;
	lesser = explicit_attribute#310;
	inclusive = inclusive_or_exclusive(exclusive);
	discrete = discrete_or_continuous(discrete);
	which_way_round = way_round(lesser_first);
END_INSTANCE;

INSTANCE comparator#11;
	description = "age >= 18";
	corresponds_to = {correspondence#57};
	hlcs_extracted = {bound#11}; (* set indirectly *)
	covered_by = {bound#11}; (* set indirectly *)
	tipe = simple_type(logical_type);
	greater = explicit_attribute#310;
	lesser = integer_literal#113;
	inclusive = inclusive_or_exclusive(inclusive);
	discrete = discrete_or_continuous(discrete);
	which_way_round = way_round(greater_first);
END_INSTANCE;