Fix horrifying simplify bug

a && a -> false