TernaryOp seqExtract(Expr x, Expr y, Expr z) => TernaryOp(TernaryOpKind.seqExtract, x, y, z).declare();