Assertion list for term "execute synchronized method of an object".
Results from Ascent++: 1
thread → CapableOf → execute synchronized method of an object 0.27