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