Cut Elimination for S4C: A Case Study