Multi-pass code cleaning for readability, expressiveness, and maintainability while preserving observed behavior.
