anchor.diff:              locals      = Map.empty
               stack       = []
           } |> ignore
  +
  +    let assembleTo' (state : State) (m : seq<Instruction>) =
  +        assembleBody m state |> ignore
   
       let assembleDelegateInternal (tdel : Type) (m : list<Instruction>) : Delegate =
           let invoke = tdel.GetMethod("Invoke")
  
positive.code: 
                          | Patterns.Throw            -> yield Throw
                          | Patterns.EndFinally       -> yield EndFinally
                          | Patterns.Leave            -> yield Leave
  
                          | Patterns.Switch targets ->
                              yield Switch(targets |> Array.map (fun t -> branchTargetIds.[t]))
  
negative.code:             else None
  
          let (|Leave|_|) (i : RawInstruction) =
              if i.Code = OpCodes.Leave then Some (unbox<int> i.Operand)
              else None
  
  
  