Moving a Thread.yield in check_interrupt.
Removing 'open Univ' from checker.