SCHUMACHER - Alloy Diff Conversion