Edited the smt2printer.cpp file and included qe command. Integrated the prenex and nnf portion.