Fix non-termination error in universe checker