SequenceRedefinition.ice:12: redefinition of sequence `Sequence'