Predicate lockCall
Holds if call is a call that locks or tries to lock its argument arg.
Import path
import cpp
predicate
lockCall
(
Expr
arg
,
FunctionCall
call
)