Use correct smtlib2 syntax for push/pop (#728)

Co-authored-by: Hernan Ponce de Leon <[email protected]>

dartagnan/src/main/java/com/dat3m/dartagnan/encoding/ProverWithTracker.java

@@ -88,7 +88,7 @@ public Void addConstraint(BooleanFormula f) throws InterruptedException {
     public boolean isUnsatWithAssumptions(Collection<BooleanFormula> fs) throws SolverException, InterruptedException {
 
         if(dump()) {
-            write("(push)\n");
+            write("(push 1)\n");
             for(BooleanFormula f : fs) {
                 write(fmgr.dumpFormula(f).toString());
             }
@@ -102,7 +102,7 @@ public boolean isUnsatWithAssumptions(Collection<BooleanFormula> fs) throws Solv
             write("(set-info :status " + (result ? "unsat" : "sat") + ")\n");
             write("(check-sat)\n");
             writeComment("Original solving time: " + (end - start) + " ms");
-            write("(pop)\n");
+            write("(pop 1)\n");
         }
 
         return result;
@@ -134,15 +134,15 @@ public Model getModel() throws SolverException {
     @Override
     public void push() throws InterruptedException {
         if(dump()) {
-            write("(push)\n");
+            write("(push 1)\n");
         }
         prover.push();
     }
 
     @Override
     public void pop() {
         if(dump()) {
-            write("(pop)\n");
+            write("(pop 1)\n");
         }
         prover.pop();
     }