Remove check for __CPROVER prefix in nondet-static

These variables should have ID_C_no_nondet_initialization_allowed set to
true

Author: svorenova

src/goto-instrument/nondet_static.cpp

@@ -38,10 +38,6 @@ void nondet_static(
       const symbol_exprt &sym=to_symbol_expr(
           to_code_assign(instruction.code).lhs());
 
-      // is it a __CPROVER_* variable?
-      if(has_prefix(id2string(sym.get_identifier()), CPROVER_PREFIX))
-        continue;
-
       // static lifetime?
       if(!ns.lookup(sym.get_identifier()).is_static_lifetime)
         continue;