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

This will be used by nndet-static option, and will mark CPROVER
variables and Java variables such as @inflight_exception,
clinit_already_run and java.String.Literals

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_allowed, #no_nondet_initialization_allowed)
 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)