Class Js_traverse.rename_variable