Refactor Synthesis