Added new method to 'CProver.java', 'getMonitiorLock'. This is used to

check if the synchronization lock of a specific object is 'free' or
'acquired'.

Author: Degiorgio

src/main/java/org/cprover/CProver.java

@@ -206,4 +206,12 @@ public static void notModelled()
   {
     assume(false);
   }
+
+  /**
+  *  Retrieves the current locking count for 'object'.
+  */
+  public static int getMonitorCount(Object object)
+  {
+    return object.cproverMonitorCount;
+  }
 }