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