Implement a simple function renamer that subsumes most of rules