fixed a small bug in clausification of "p <=> FALSE"