Characteristic predicate ToStringMethod :: ToStringMethod
ToStringMethod
(
)