Predicate Assignable::AssignableInternal::Cached::isUncertainRefCall

Holds if the ref assignment to aa via call c is uncertain.

predicate isUncertainRefCall(RefArg arg)