Remove redundant invariants

Author: tautschnig

src/cpp/cpp_instantiate_template.cpp

@@ -285,9 +285,6 @@ const symbolt &cpp_typecheckt::instantiate_template(
     throw 0;
   }
 
-  INVARIANT_STRUCTURED(
-    template_scope!=nullptr, nullptr_exceptiont, "template_scope is null");
-
   // produce new declaration
   cpp_declarationt new_decl=to_cpp_declaration(template_symbol.type);
 

src/cpp/cpp_typecheck_resolve.cpp

@@ -1041,8 +1041,6 @@ symbol_typet cpp_typecheck_resolvet::disambiguate_template_classes(
     throw 0;
   }
 
-  assert(primary_templates.size()==1);
-
   const symbolt &primary_template_symbol=
     cpp_typecheck.lookup(*primary_templates.begin());