anchor.diff:  
               let assignToFuncObject =
                   vePs
  -                |> List.map (fun (vP, funcObject, assignToConstruction, assignState) ->
  +                |> List.map (fun (vP, funcObject, _,_) ->
                       Expression.Assign (vP, funcObject) |> asExpression)
                   
               let assignState =
                   vePs
  -                |> List.map (fun (vP, funcObject, assignToConstruction, assignState) -> assignState)
  +                |> List.map (fun (_,_,_, assignState) -> assignState)
   
               let bodyP = ConvExpr env body
   
  
positive.code:         if not (isFunctionType typ) then invalidArg "typ" "cannot convert recursion except for function types"
          let tyargs = typ.GetGenericArguments()
          tyargs.[0], tyargs.[1]
      
  
      let ArrayAssignHelper (arr : 'T[]) (idx:int) (elem:'T) : 'unt = 
          arr.[idx] <- elem;
          unbox (box ())
  
  
      let TryFinallyHelper e h = 
          try e() 
          finally h()
  
      let TryWithHelper e filter handler = 
          try e() 
          with e when (filter e <> 0) -> handler e
  
      let ArrayAssignMethod = match <@@ ArrayAssignHelper @@> with Lambdas(_,Call(_,minfo,_)) -> minfo | _ -> failwith "couldn't find minfo"
      let TryFinallyMethod = match <@@ TryFinallyHelper @@> with Lambdas(_,Call(_,minfo,_)) -> minfo | _ -> failwith "couldn't find minfo"
      let TryWithMethod = match <@@ TryWithHelper @@> with Lambdas(_,Call(_,minfo,_)) -> minfo | _ -> failwith "couldn't find minfo"
  
      module HelperTypes = 
  
negative.code: open Microsoft.FSharp.Quotations.Patterns
  open Microsoft.FSharp.Quotations.DerivedPatterns
  
  module ExtraHashCompare =
      let GenericNotEqualIntrinsic<'T> (x:'T) (y:'T) : bool = not (Microsoft.FSharp.Core.LanguagePrimitives.HashCompare.GenericEqualityIntrinsic<'T> x y)
  
  module QuotationEvaluationTypes = 
      type This = 
          static member Assembly = typeof<This>.Assembly
  
  