bugfix in CNF (negative and)