Do not use assert without prior declaration

The built-in variant is __CPROVER_assert

Author: tautschnig

regression/cpp/Resolver10/main.cpp

@@ -10,7 +10,7 @@ struct B: A
   {
     i = 1;
     A();
-    assert(i==1);
+    __CPROVER_assert(i==1, "");
   }
 };
 

regression/cpp/Resolver11/main.cpp

@@ -17,7 +17,7 @@ struct A
 int main()
 {
   A a;
-  assert(a.test()==false);
+  __CPROVER_assert(a.test() == false, "");
   const A a2;
-  assert(a2.test()==true);
+  __CPROVER_assert(a2.test() == true, "");
 }

regression/cpp/Template_Parameters1/main.ii

@@ -10,6 +10,6 @@ T<int, 10> some_T;
 
 int main()
 {
-  assert(some_T.value==10);
+  __CPROVER_assert(some_T.value == 10, "");
 }