Predicate locallySynchronizedOnThis
Holds if e is synchronized by a local synchronized statement on a this of type thisType, or by a synchronized
modifier on the enclosing (non-static) method.
Import path
import semmle.code.java.Concurrencypredicate locallySynchronizedOnThis(Expr e, RefType thisType)