anchor.diff:  open System.Reflection
   open System.Reflection.Emit
   open Microsoft.FSharp.Reflection
  -open Microsoft.FSharp.Linq.QuotationEvaluation // F# PowerPack dependency
   
   /// Mock object interface for verification
   type IMockObject =
  
positive.code:             match arg with
              | Call(_, mi, _) when hasAttribute typeof<WildcardAttribute> mi -> Any
              | Call(_, mi, [pred]) when hasAttribute typeof<PredicateAttribute> mi -> 
                  Pred(pred.EvalUntyped())
              | expr -> expr.EvalUntyped() |> Arg |]
      /// Converts expression to a tuple of Expression, MethodInfo and Arg array
      let toCall = function
          | Call(Some(x), mi, args) -> x, mi, toArgs args
  
negative.code: open Microsoft.FSharp.Quotations
  open Microsoft.FSharp.Quotations.Patterns
  
  module private Eval =
      open Microsoft.FSharp.Linq.QuotationEvaluation // F# PowerPack dependency
      let eval (expr:Expr) = expr.EvalUntyped()
  
  module private Reflection =
      open Eval
      /// Returns true if method has specified attribute
      let hasAttribute a (mi:MethodInfo) = mi.GetCustomAttributes(a, true).Length > 0
      /// Converts expression to a tuple of MethodInfo and Arg array
  