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:                 then typeof<obj>, [|abstractType|]
                  else abstractType, [||]
              let attributes = TypeAttributes.Public ||| TypeAttributes.Class
              let interfaces = [|yield typeof<IRecorder>; yield! interfaces|]
              moduleBuilder.DefineType(stubName, attributes, parent, interfaces)
          /// Field settings
          let fields = FieldAttributes.Private ||| FieldAttributes.InitOnly 
  
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)) -> 
  