Updating: renaming some instructions in ATS2-target