t2_12.out x <= y & y <= z | z <= y & y <= x)) ]]> x ^ z <= y & y <= x v z)) ]]> x ^ y = x)) ]]>