Cleaning now runs after the entire split-renaming process. It is working in the Puzzle benchmark from Stanford. IMPORTANT: phi's second case in ::clean() needs special attention.