Fix if-then-else simplifier bug.