fix bugs in preprocess; add print-user-s5 command line argument for printing usr code
fix bugs in preprocess