Add SMT2FileGenerator.java