t3_12.out (x ^ y) v (y ^ z) = y & (x v y) ^ (y v z) = y)) ]]>