Predicate unlockCall
Holds if call is a call that unlocks its argument arg.
Import path
import cpppredicate unlockCall(Expr arg, FunctionCall call)Holds if call is a call that unlocks its argument arg.
import cpppredicate unlockCall(Expr arg, FunctionCall call)