Well, I thought I fixed the REPLACE ALL problem, but I didn't. Now, it
is fixed. So:

replace x with y
replace all x with y
replace x with y all
replace x with y for z
replace x with y while z

becomes:

field->x := y
replace all x with y
replace x with y all
replace x with y for z
replace x with y while z

Any REPLACE commands with ALL, FOR or WHILE are not modified.