Class LambdaRewriter