Fix horrifying simplify bug (cherry-pick from specialize branch)

a && a -> false