1 2 3 4 5 6 7 8 9 10 11
% EXPECT: sat x: REAL; y: REAL; b: BOOLEAN; ASSERT ((0 = IF b THEN x - y ELSE 2*x ENDIF)); CHECKSAT;