Characteristic predicate FinalizeMethod :: FinalizeMethod