Added specialized conditioning for Seq.length