Fixed bugs in LockThisIssue. Tests now fully pass. Added support for abstract methods.
Added support for (useless but possible) lock(this) statements in MethodImplOptionsSynchronized methods.