Add a new comment to mark variables that should not be nondet initialized

This will be used by nondet-static option and will mark internal
variables that are not CPROVER variables such as language specific
internal variables - in Java, for example, @inflight_exception and
clinit_already_run

Author: svorenova

src/util/irep_ids.def

@@ -665,6 +665,7 @@ IREP_ID_TWO(java_lambda_method_handles, lambda_method_handles)
 IREP_ID_ONE(havoc_object)
 IREP_ID_TWO(overflow_shl, overflow-shl)
 IREP_ID_TWO(C_no_initialization_required, #no_initialization_required)
+IREP_ID_TWO(C_no_nondet_initialization, #no_nondet_initialization)
 IREP_ID_TWO(overlay_class, java::com.diffblue.OverlayClassImplementation)
 IREP_ID_TWO(overlay_method, java::com.diffblue.OverlayMethodImplementation)
 IREP_ID_TWO(ignored_method, java::com.diffblue.IgnoredMethodImplementation)