comparator


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

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

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