prune unneeded arguments to static-HiO resulting from closure-inlining
tracking static-modules and those of custom-value-classes
module loads deliver non-null, NullnessPropagator
module loads deliver non-null, TypeFlowInterpreter
part 1 of getting rid of unneeded module loads