@@ -9,5 +9,5 @@
   PetscAssertPointer(a, 1);
   /* remove */
-  PetscAssertPointer(a, 1);
+  
   /* no remove */
   PetscAssertPointer(b, 5);
@@ -11,5 +11,5 @@
   PetscAssertPointer(a, 1);
   /* no remove */
-  PetscAssertPointer(b, 5);
+  PetscAssertPointer(b, 2);
   /* ~should~ be removed but won't be */
   PetscAssertPointer(b, 7);
@@ -13,5 +13,5 @@
   PetscAssertPointer(b, 5);
   /* ~should~ be removed but won't be */
-  PetscAssertPointer(b, 7);
+  PetscAssertPointer(b, 2);
   PetscAssertPointer(b, 3);
   return 0;
@@ -14,5 +14,5 @@
   /* ~should~ be removed but won't be */
   PetscAssertPointer(b, 7);
-  PetscAssertPointer(b, 3);
+  PetscAssertPointer(b, 2);
   return 0;
 }
@@ -24,5 +24,5 @@
   PetscAssertPointer(b, 2);
   /* remove */
-  PetscAssertPointer(a, 1);
+  
   PetscAssertPointer(b, 2);
   {
@@ -25,5 +25,5 @@
   /* remove */
   PetscAssertPointer(a, 1);
-  PetscAssertPointer(b, 2);
+  
   {
     /* remove */
@@ -28,5 +28,5 @@
   {
     /* remove */
-    PetscAssertPointer(a, 1);
+    
     PetscAssertPointer(b, 2);
   }
@@ -29,5 +29,5 @@
     /* remove */
     PetscAssertPointer(a, 1);
-    PetscAssertPointer(b, 2);
+    
   }
   return 0;
@@ -40,5 +40,5 @@
   PetscAssertPointer(b, 2);
   /* remove */
-  PetscAssertPointer(a, 1);
+  
   PetscAssertPointer(b, 2);
   {
@@ -41,5 +41,5 @@
   /* remove */
   PetscAssertPointer(a, 1);
-  PetscAssertPointer(b, 2);
+  
   {
     /* remove */
@@ -44,5 +44,5 @@
   {
     /* remove */
-    PetscAssertPointer(a, 1);
+    
     PetscAssertPointer(b, 2);
   }
@@ -45,5 +45,5 @@
     /* remove */
     PetscAssertPointer(a, 1);
-    PetscAssertPointer(b, 2);
+    
   }
   {
@@ -49,5 +49,5 @@
   {
     /* remove */
-    PetscAssertPointer(a, 1);
+    
     PetscAssertPointer(b, 2);
   }
@@ -50,5 +50,5 @@
     /* remove */
     PetscAssertPointer(a, 1);
-    PetscAssertPointer(b, 2);
+    
   }
   return 0;
@@ -80,5 +80,5 @@
   case PETSC_TRUE:
     /* remove */
-    PetscAssertPointer(a, 1);
+    
     PetscAssertPointer(b, 2);
     break;
@@ -81,5 +81,5 @@
     /* remove */
     PetscAssertPointer(a, 1);
-    PetscAssertPointer(b, 2);
+    
     break;
   case PETSC_FALSE:
@@ -85,5 +85,5 @@
   case PETSC_FALSE:
     /* remove */
-    PetscAssertPointer(a, 1);
+    
     PetscAssertPointer(b, 2);
     break;
@@ -86,5 +86,5 @@
     /* remove */
     PetscAssertPointer(a, 1);
-    PetscAssertPointer(b, 2);
+    
     break;
   }
@@ -113,5 +113,5 @@
   if (cond) {
     /* remove */
-    PetscAssertPointer(a, 1);
+    
     PetscAssertPointer(b, 2);
   } else {
@@ -114,5 +114,5 @@
     /* remove */
     PetscAssertPointer(a, 1);
-    PetscAssertPointer(b, 2);
+    
   } else {
     /* remove */
@@ -117,5 +117,5 @@
   } else {
     /* remove */
-    PetscAssertPointer(a, 1);
+    
     PetscAssertPointer(b, 2);
   }
@@ -118,5 +118,5 @@
     /* remove */
     PetscAssertPointer(a, 1);
-    PetscAssertPointer(b, 2);
+    
   }
   return 0;