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