Member predicate PointsTo::SuperBoundMethod::instantiation

predicate instantiation(PointsToContext ctx, ControlFlowNode f)