We should be able to distinguish the return status of a lock easily. For instance if it aborts because some higher lock is waiting.