Member predicate MutexType :: trylockAccess
Holds if fc is a call that tries to lock mutex arg
of this type, but may return without success.
predicate
trylockAccess
(
FunctionCall
fc
,
Expr
arg
)