Reducing with the Shift Reducer
engineering.shapesecurity.com