[SR-Users] looks like dp_translate with pvs in repl_exp is badly broken