Member predicate RefArg::isAnalyzable

Holds if the assignment to this ref argument via parameter p is analyzable. That is, the target callable is non-overridable and from source.