added bug

bugs.txt

+=========PROGRAM===========
+nat n;
+nat m;
+nat tmp;
+
+while (0 < n) {
+ tmp := unif(1,6);
+ m := m + tmp;
+ tmp := 0;
+ n := n-1
+}
+
+
+
+=========INVARIANT===========
+nat n;
+nat m;
+nat tmp;
+
+if (0 < n){
+    tmp := iid(unif(1,6), n)
+    m := m+tmp
+    n := 0
+    tmp := 0
+} else {skip}
+
+
+=========ERROR===========
+
+Input: -1/6*(-1+n*p0)^(-1)*(-1+p2)^(-1)*(-1+p1*m)^(-1)*(n*m^2*p0^2+n*m^3*p0^2+n*m^5*p0^2+n*m^4*p0^2+n*m^6*p0^2+n*m*p0^2)
+
+Computing statement: 
+tmp := iid(unif(1,6), n)
+
+
+YIELDS:
+ValueError: power::eval(): division by zero
\ No newline at end of file