Member predicate TrueSuccessorIsSuccessor :: getMessage
string
getMessage
(
)