In 7.3, system execution does not seg fault.  Instead, it never terminates
which Manu says is expected behavior since it is acquiring multiple locks
one by one (and in different orders) instead of all locks at once.

I think this example used to report a deadlock at runtime, but I'm not sure
of that.  There still seems to be some deadlock detection in ISE_SCOOP_MANAGER
so I don't see why a deadlock is not detected at runtime.