RedefinitionAsInterface.ice:12: declaration of already defined `Sequence1' as interface RedefinitionAsInterface.ice:15: redefinition of sequence `Sequence2' as interface