All Cedalion unit tests pass when running over Detalion