Holds if this callable has a body or an implementation.
predicate
hasBody
(
)