anchor.diff:    IL_0005:  stloc.2
     IL_0006:  call       bool TupleElimination::cond()
     IL_000b:  brfalse.s  IL_0027
  -    
  +
     IL_000d:  ldstr      ""
     IL_0012:  callvirt   instance string [runtime]System.Object::ToString()
     IL_0017:  stloc.3
  
positive.code:                       """
  .method public static int32  y() cil managed
  {
    
    .maxstack  5
    .locals init (int32 V_0,
             int32 V_1,
  
negative.code:   IL_001f:  stloc.1
    IL_0020:  ldc.i4.3
    IL_0021:  stloc.2
    IL_0022:  br         IL_0095
    
    IL_0027:  call       bool TupleElimination::cond()
    IL_002c:  brfalse.s  IL_0036
    
    IL_002e:  ldc.i4.2
    IL_002f:  stloc.0
    IL_0030:  ldc.i4.2
    IL_0031:  stloc.1
    IL_0032:  ldc.i4.3
    IL_0033:  stloc.2
    IL_0034:  br.s       IL_0095
    
    IL_0036:  ldc.i4.1
    IL_0037:  ldc.i4.0
    IL_0038:  div
    IL_0039:  ldc.i4.1
    IL_003a:  sub
    IL_003b:  switch     (
                          IL_004e,
                          IL_006f,
                          IL_0077)
    IL_004c:  br.s       IL_0087
    
    IL_004e:  ldc.i4.2
    IL_004f:  ldc.i4.3
    IL_0050:  div
    IL_0051:  ldc.i4.1
    IL_0052:  bne.un.s   IL_005c
    
    IL_0054:  ldc.i4.5
    IL_0055:  stloc.0
    IL_0056:  ldc.i4.6
    IL_0057:  stloc.1
    IL_0058:  ldc.i4.7
    IL_0059:  stloc.2
    IL_005a:  br.s       IL_0095
    
    IL_005c:  ldstr      ""
    IL_0061:  callvirt   instance string [runtime]System.Object::ToString()
    IL_0066:  stloc.3
    IL_0067:  ldc.i4.6
    IL_0068:  stloc.0
    IL_0069:  ldc.i4.5
    IL_006a:  stloc.1
    IL_006b:  ldc.i4.4
    IL_006c:  stloc.2
    IL_006d:  br.s       IL_0095
    
    IL_006f:  ldc.i4.6
    IL_0070:  stloc.0
    IL_0071:  ldc.i4.6
    IL_0072:  stloc.1
    IL_0073:  ldc.i4.6
    IL_0074:  stloc.2
    IL_0075:  br.s       IL_0095
    
    IL_0077:  call       int32 TupleElimination::f()
    IL_007c:  stloc.0
    IL_007d:  ldc.i4.7
    IL_007e:  stloc.1
    IL_007f:  call       int32 TupleElimination::f()
    IL_0084:  stloc.2
    IL_0085:  br.s       IL_0095
    
    IL_0087:  ldc.i4.8
    IL_0088:  stloc.0
    IL_0089:  call       int32 TupleElimination::y()
    IL_008e:  stloc.1
    IL_008f:  call       int32 TupleElimination::y()
    IL_0094:  stloc.2
    IL_0095:  ldloc.0
    IL_0096:  ldloc.1
    IL_0097:  add
    IL_0098:  ldc.i4.2
    IL_0099:  ldloc.2
    IL_009a:  mul
    IL_009b:  add
    IL_009c:  ret
  }
  """
  
  