convert syntaxtree to naf