--------------------------------------------------------------------------------
oldUniverse :: [Identifier]
oldUniverse = M.keys oldFacts
oldUniverse :: [Identifier]
oldUniverse = M.keys oldFacts
oldUniverse = M.keys oldFacts