anchor.diff:      static member Verify(expr:Expr, expectedTimes:Times) =
           let (x,expectedMethod,expectedArgs) = toCall expr
           let mock =
  -            match x.EvalUntyped() with
  +            match eval x with
               | :? IMockObject as mock -> mock
               | _ -> failwith "Object instance is not a mock"           
           let actualCalls = countInvocations mock expectedMethod expectedArgs
  
positive.code: open Microsoft.FSharp.Quotations
  open Microsoft.FSharp.Quotations.Patterns
  
  module private Reflection =
      /// 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
  
negative.code:             match arg with
              | Call(_, mi, _) when hasAttribute typeof<WildcardAttribute> mi -> Any
              | Call(_, mi, [pred]) when hasAttribute typeof<PredicateAttribute> mi -> 
                  Pred(eval pred)
              | expr -> eval expr |> Arg |]
      /// Converts expression to a tuple of Expression, MethodInfo and Arg array
      let toCall = function
          | Call(Some(x), mi, args) -> x, mi, toArgs args
  