RedefinitionAsModule.ice:12: redefinition of sequence `Seq' as module