Characteristic predicate PointsTo::SuperBoundMethod::SuperBoundMethod

SuperBoundMethod()