add replace-proc to splitf-txexpr