ResugaringAsPutback Putback program mentioned in A Cheap Implementation of Resugaring in BIRDS based on Bidirectional Transformation.