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