Predicate AssignableDefinitions::isUncertainRefCall
Holds if the ref assignment to aa via call c is uncertain.
Import path
import csharppredicate isUncertainRefCall(RefArg arg)Holds if the ref assignment to aa via call c is uncertain.
import csharppredicate isUncertainRefCall(RefArg arg)