Add a comment to static field with the name of the field

Author: svorenova

jbmc/src/java_bytecode/java_bytecode_convert_class.cpp

@@ -645,6 +645,7 @@ void java_bytecode_convert_classt::convert(
     // link matches the method used by java_bytecode_convert_method::convert
     // for methods.
     new_symbol.type.set(ID_C_class, class_symbol.name);
+    new_symbol.type.set(ID_C_field, f.name);
     new_symbol.type.set(ID_C_constant, f.is_final);
     new_symbol.pretty_name=id2string(class_symbol.pretty_name)+
       "."+id2string(f.name);

src/util/irep_ids.def

@@ -351,6 +351,7 @@ IREP_ID_TWO(power, **)
 IREP_ID_ONE(factorial_power)
 IREP_ID_ONE(pretty_name)
 IREP_ID_TWO(C_class, #class)
+IREP_ID_TWO(C_field, #field)
 IREP_ID_TWO(C_interface, #interface)
 IREP_ID_ONE(event)
 IREP_ID_ONE(designated_initializer)