Simplified conversion to CNF (so that it does not modify formulas that already are in CNF)