Remove reference to cproverMonitorCount

This would lead to cyclic reference between
CProver API and models library.
The method must be provided by JBMC itself
to cut the cycle.

Author: peterschrammel

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

@@ -345,7 +345,9 @@ public static void arraycopyInPlace(
    * Retrieves the current locking count for 'object'.
    */
   public static int getMonitorCount(Object object) {
-    return object.cproverMonitorCount;
+    // Dummy implementation.
+    // The actual implementation is in JBMC itself.
+    return 0;
   }
 
   /**