may be `explicit ContainsCallToSuperMethod (string s)`.