move parse tree before CNF