Synchronization on non-final field

Reports synchronized statements where the lock expression is a non-final field.

Such statements are unlikely to have useful semantics, as different threads may be locking on different objects even when operating on the same object.