-------------------------
-- Consider (if x then y else []) with demand V
-- Then the first branch gives {y->V} and the second
-------------------------
-- Consider (if x then y else []) with demand V
-- Then the first branch gives {y->V} and the second