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