When a thread does an IN for a lock, the PC is checked before being incremented
Adding a thread to the run queue now checks that it can be before proceeding