private static Cnf addCnf(Cnf left, Cnf right) {
            Cnf result = new Cnf();
            for (CnfClause leftClause : left.getClauses()) {
                for (CnfClause rightClause : right.getClauses()) {
                    boolean foundSameLiteral;