anchor.diff:              else None
   
           let (|Leave|_|) (i : RawInstruction) =
  -            if i.Code = OpCodes.Leave then Some ()
  +            if i.Code = OpCodes.Leave then Some (unbox<int> i.Operand)
               else None
   
   
  
positive.code:     | Switch of Label[]
      | Throw
      | EndFinally
      | Leave
  
  type MethodDefinition =
      {
  
negative.code: module Assembler =
      open StateMonad
  
      type State =
          {
              generator   : ILGenerator
              labels      : Map<Label, System.Reflection.Emit.Label>
              locals      : Map<Local, LocalBuilder>
              stack       : list<Type>
          }
  
      [<AutoOpen>]
      module private Helpers =
          open Microsoft.FSharp.Reflection
          open StateMonad
  
  
          let (|ValueType|_|) (t : Type) =
              if t = typeof<obj> then Some ValueType.Object
  