SequenceRedefinition.ice:16: redefinition of sequence `Seq' as sequence