still failing

test/TestEquivalence.cpp

@@ -219,17 +219,17 @@ TEST(EquivalenceCheck, trivialIID){
      6:}
      */
     cout << "Invariant" << endl;
-    l0 = Dist {"1/(1 - p*n)", "p"} *  Dist {"1/(1 - q*m)", "q"} * Dist {"1/(1 - r*tmp)", "r"};
+    l0 = Dist {"1/(1 - p*n)", "p"} *  Dist {"1/(1 - q*m)", "q"} * Dist {"1/(1 - r*t)", "r"};
     cout << "l0:\t" << l0 << endl;
     l1 = l0.filterGreater("n", "0");
     cout << "l1:\t" << l1 << endl;
-    l2 = l1.updateIid("tmp", Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}, "n");
+    l2 = l1.updateIid("t", Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}, "n");
     cout << "l2:\t" << l2 << endl;
-    l3 = l2.update("m", "m+tmp");
+    l3 = l2.update("m", "m+t");
     cout << "l3:\t" << l3 << endl;
     l4 = l3.update("n", "0");
     cout << "l4:\t" << l4 << endl;
-    l5 = l4.update("tmp", "0");
+    l5 = l4.update("t", "0");
     cout << "l5:\t" << l5 << endl;
     Dist res1 = l5 + l0.filterLeq("n", "0");
     cout << "res1:\t" << res1 << endl;
@@ -253,17 +253,17 @@ TEST(EquivalenceCheck, trivialIID){
      *
      */
     cout << "Modified Inv" << endl;
-    l0 = Dist {"1/(1 - p*n)", "p"} *  Dist {"1/(1 - q*m)", "q"} * Dist {"1/(1 - r*tmp)", "r"};
+    l0 = Dist {"1/(1 - p*n)", "p"} *  Dist {"1/(1 - q*m)", "q"} * Dist {"1/(1 - r*t)", "r"};
     l1 = l0.filterGreater("n", "0");
-    l2 = l1.update("tmp", "0") * Dist {"1/6 * T * (T^6 - 1) / (T - 1)"};
-    l3 = l2.update("m", "m+n");
-    l4 = l3.update("tmp", "0");
+    l2 = l1.update("t", "0") * Dist {"1/6 * T * (T^6 - 1) / (T - 1)"};
+    l3 = l2.update("m", "m+t");
+    l4 = l3.update("t", "0");
     l5 = l4.update("n", "n-1");
     l6 = l5.filterGreater("n", "0");
-    l7 = l6.updateIid("tmp", Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}, "n");
-    l8 = l7.update("m", "m+tmp");
+    l7 = l6.updateIid("t", Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}, "n");
+    l8 = l7.update("m", "m+t");
     l9 = l8.update("n", "0");
-    l10 = l9.update("tmp", "0");
+    l10 = l9.update("t", "0");
     l11 = l10 + l5.filterLeq("n", "0");
     l12 = l11 + l0.filterLeq("n", "0");
     Dist res2 = l12;