do not rename atomic formulas in CNF (close #1)