Class AssertRewriter.AssertionTrackingControlFlowSwitchExpressionTransformer