anchor.diff:  open Microsoft.FSharp.Reflection
   open Microsoft.FSharp.Linq.QuotationEvaluation // F# PowerPack dependency
   
  -/// Recorder interface for verification
  -type IRecorder =
  +/// Mock object interface for verification
  +type IMockObject =
       abstract Invocations : System.Collections.Generic.List<obj[]>
   
   module internal CodeEmit =
  
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:                 f.Invoke(p,[|actual|]) :?> bool
              | PredUntyped(p) -> (p :?> Func<obj,bool>).Invoke(actual)
          let actualCalls = 
              mock.Invocations 
              |> Seq.filter (fun xs -> 
                  let invoked = xs.[0] :?> MethodBase
                  invoked.Name = mi.Name &&
                  invoked.GetParameters().Length = mi.GetParameters().Length &&
                  Array.zip (invoked.GetParameters()) (mi.GetParameters())
                  |> Array.mapi (fun i x -> i,x)
                  |> Array.forall (fun (i,(a,b)) -> 
  