moved method from moduleutils to modulerootmodificationutils
bytecode analysis: no analysis at all if nothing is inferrable
bytecode analysis: lite control flow analysis
bytecode analysis: lazy resultOrigins analysis
bytecode analysis: a comment about lite control flow analysis