Add `seqc` constraint