Member predicate Generated::Function::hasImplementation
Holds if this function has an implementation.
This is the same as hasBody for source code, but for library code (for which we always skip
the body), this will hold when the body was present in the original code.
predicate hasImplementation()