Fix small bug in lazy loading of generic types

When we find a reference to a generic type, we should get all types
referenced from it or from its replacement type if it has one.
Previously this recursive function excluded replacement types.

Author: antlechner

jbmc/src/java_bytecode/ci_lazy_methods_needed.cpp

@@ -120,9 +120,7 @@ void ci_lazy_methods_neededt::initialize_instantiated_classes_from_pointer(
     for(const auto &generic_arg : generic_args)
     {
       if(!is_java_generic_parameter(generic_arg))
-      {
-        initialize_instantiated_classes_from_pointer(generic_arg, ns);
-      }
+        add_all_needed_classes(generic_arg);
     }
   }
 }