RedefinitionAsClass.ice:12: declaration of already defined `Sequence1' as class
RedefinitionAsClass.ice:15: redefinition of `Sequence2' as class