Characteristic predicate ReturnPosition :: ReturnPosition
ReturnPosition
(
)