anchor.diff:                  | _ ->
                       <@@ %%e - 1 @@>
   
  -type QuotationVisitor(mi : MethodInfo, m : MethodDefinition) as this =
  -
  -    let resolve (t : TypeReference) =
  -        Type.GetType(t.FullName)
  -
  -    let args = m.Parameters |> Seq.map (fun p -> Var(p.Name, resolve p.ParameterType)) |> Seq.toList
  -    let argsMap = args |> List.map (fun a -> a.Name, a) |> Map.ofList
  -
  +type QuotationVisitor(m : MethodDefinition) as this =
       let resolveType (t : AstType) : Type =
           match t with
               | :? ICSharpCode.NRefactory.CSharp.PrimitiveType as p ->
  
positive.code: open ICSharpCode.NRefactory.TypeSystem
  open Microsoft.FSharp.Quotations
  
  type ExprState = { arguments : Map<string, Var>; locals : Map<string, Var>; declared : Map<string, Var> }
  type ExprResult<'a> = { run : ExprState -> 'a * ExprState}
  
  [<AutoOpen>]
  
negative.code:     let builder = AstBuilder(ctx)
      builder.AddType(m.DeclaringType)
      builder.RunTransformations()
      let ex = builder.SyntaxTree.AcceptVisitor(QuotationVisitor(m))
  
      
      let resolve (t : TypeReference) =
  