Procedural decomposition and renaming