KNOWNBUG
Sync.class
--cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --java-threading
^VERIFICATION SUCCESSFUL$
^EXIT=0$
^SIGNAL=0$
--
^warning: ignoring
--
Note: requires jasmin to compile the bytecode instructions
This checks that an extra monitorexit will always trigger an IllegalMonitorException.

This is currently not working as explicit throws have been removed from the underlying model due to performance considerations.
