Uses of Class
boomerang.solver.MethodBasedFieldTransitionListener