A System for Assisting Program Transformation | Synapse