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;