Variable renaming, dead code deletion