anchor.diff:      
             IL_0039:  ldnull
             IL_003a:  stloc.2
  -          IL_003b:  leave.s    IL_005a
  +          IL_003b:  leave.s    IL_0056
       
           }  
           finally
  
positive.code:         """
              (fun verifier -> verifier.VerifyIL [
          """
      .method public static class [FSharp.Core]Microsoft.FSharp.Collections.FSharpList`1<int32> 
                ListExpressionSteppingTest5() cil managed
        {
          
  
negative.code:           IL_003e:  isinst     [runtime]System.IDisposable
            IL_0043:  stloc.s    V_4
            IL_0045:  ldloc.s    V_4
            IL_0047:  brfalse.s  IL_0053
      
            IL_0049:  ldloc.s    V_4
            IL_004b:  callvirt   instance void [runtime]System.IDisposable::Dispose()
            IL_0050:  ldnull
            IL_0051:  pop
            IL_0052:  endfinally
            IL_0053:  ldnull
            IL_0054:  pop
            IL_0055:  endfinally
          }  
          IL_0056:  ldloc.2
          IL_0057:  pop
          IL_0058:  ldloca.s   V_0
          IL_005a:  call       instance class [FSharp.Core]Microsoft.FSharp.Collections.FSharpList`1<!0> valuetype [FSharp.Core]Microsoft.FSharp.Core.CompilerServices.ListCollector`1<int32>::Close()
          IL_005f:  ret
        } 
          """
              ])
  
  