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