Make nondet-static option respect the new data member

Author: svorenova

src/goto-instrument/nondet_static.cpp

@@ -46,6 +46,10 @@ void nondet_static(
       if(!ns.lookup(sym.get_identifier()).is_static_lifetime)
         continue;
 
+      // static that can be nondet initialized?
+      if(!ns.lookup(sym.get_identifier()).is_static_nondet_init)
+        continue;
+
       // constant?
       if(is_constant_or_has_constant_components(sym.type(), ns))
         continue;