Symbol: seqc_consistent