Fixed building the negation normal form push_not function