anchor.diff:  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
  
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 System.Reflection
  open System.Reflection.Emit
  open Microsoft.FSharp.Reflection
  
  /// Mock object interface for verification
  type IMockObject =
  