Update CNF2SMTLIBv2Converter.java