Member predicate LockStmt :: isLockThis
Holds if this statement is of the form lock(this) { ... }.
predicate
isLockThis
(
)