add support for final statement in universe specification