a, b, c: BOOLEAN;
% EXPECT: entailed
QUERY (IF c THEN a ELSE b ENDIF) <=> ((c AND a) OR (NOT c AND b));