Member predicate CustomMutexType :: unlockAccess
Holds if fc is a call that unlocks mutex arg
of this type.
predicate
unlockAccess
(
FunctionCall
fc
,
Expr
arg
)