Characteristic predicate ExtensionMethod :: ExtensionMethod
ExtensionMethod
(
)