fixing emitting smt2, added merging with bedlam.smt2.in