Conversion from Prefix to CNF