Automated assistance for program restructuring | Synapse