Fix variable names explicitly so that a proof works in -expk.