Do not use count() when returning a bool

Visual Studio complains about the conversion. Here, constructing an elaborate
container (including heap-allocated memory) is unnecessary.

Author: tautschnig

jbmc/src/java_bytecode/java_utils.cpp

@@ -420,11 +420,13 @@ resolve_inherited_componentt::inherited_componentt get_inherited_component(
 /// \return true if this static field is known never to be null
 bool is_non_null_library_global(const irep_idt &symbolid)
 {
-  static const std::unordered_set<irep_idt> non_null_globals = {
+  static const irep_idt non_null_globals[] = {
     "java::java.lang.System.out",
     "java::java.lang.System.err",
     "java::java.lang.System.in"};
-  return non_null_globals.count(symbolid);
+  return symbolid == non_null_globals[0] ||
+         symbolid == non_null_globals[1] ||
+         symbolid == non_null_globals[2];
 }
 
 /// Methods belonging to the class org.cprover.CProver that should be ignored