anchor.diff:              | expr -> expr.EvalUntyped() |> Arg |]
       /// Converts expression to a tuple of MethodInfo and Arg array
       let toCallUntyped = function
  -        | Call(Some(x), mi, args) -> Some(x, mi, toArgs args)
  -        | PropertyGet(Some(x), pi, args) -> Some(x, pi.GetGetMethod(), toArgs args)
  -        | PropertySet(Some(x), pi, args, value) -> Some(x, pi.GetSetMethod(), toArgs args)
  -        | expr -> None
  +        | Call(Some(x), mi, args) -> x, mi, toArgs args
  +        | PropertyGet(Some(x), pi, args) -> x, pi.GetGetMethod(), toArgs args
  +        | PropertySet(Some(x), pi, args, value) -> x, pi.GetSetMethod(), toArgs args
  +        | expr -> raise <| NotSupportedException(expr.ToString())
       let toCall abstractType expr =
           match toCallUntyped expr with
  -        | Some(x, mi, args) when x.Type = abstractType -> mi, args
  +        | x, mi, args when x.Type = abstractType -> mi, args
           | _ -> raise <| NotSupportedException(expr.ToString())
       /// Converts expression to a tuple of MethodInfo, Arg array and Result
       let rec toCallResult abstractType = function
  
positive.code:         generateConstructor typeBuilder [|typeof<obj[]>;typeof<obj[][]>|] setFields
          /// Generates Recorder.Invocations property getter
          let generateRecorderInvocationsPropertyGetter () =
              let mi = (typeof<IRecorder>.GetProperty("Invocations").GetGetMethod())
              let getter = defineMethod typeBuilder mi
              let il = getter.GetILGenerator()
              il.Emit(OpCodes.Ldarg_0)
  
negative.code: type Mock =
      /// Verifies expected count against instance member invocations on specified mock
      static member Verify(expr:Expr, expectedCalls:int) =
          let (x,mi,args) = toCallUntyped expr
          let mock =
              match x.EvalUntyped() with
              | :? IMockObject as mock -> mock
              | _ -> failwith "Object instance is not a mock"
          let matches argType arg actual =
              match arg with
  