Update status of rename_gimple.py