Backporting the change in lists of universes to the checker.
Fixing checker representation of universe lists.