anchor.diff:  
   type Mock<'TAbstract> with
       /// Verifies expected expression sequence
  +    #if FSHARP4
  +    static member ExpectSequence([<ReflectedDefinition(false)>] f:Expr<'TAbstract -> _>) =
  +        let e = match f with Lambda(_, e) -> e | _ -> raise <| NotSupportedException()
  +        let calls = toCallResultOf typeof<'TAbstract> e
  +        let mockObject = mock(MockMode.Default, typeof<'TAbstract>, [], calls, [||], None) 
  +        let mock = mockObject :?> IMockObject
  +        let calls = calls |> List.map (fun (mi,(args,_)) -> mi,args)
  +        setup mock calls
  +        mockObject :?> 'TAbstract
  +    #else
       static member ExpectSequence(f:'TAbstract -> Expr<_>) =
  +        Mock.DoExpectSequence(f)
  +    #endif
  +    static member internal DoExpectSequence(f:'TAbstract -> Expr<_>) =
           let default' = Unchecked.defaultof<'TAbstract>
           let calls = toCallResultOf typeof<'TAbstract> (f default')
           let mockObject = mock(MockMode.Default, typeof<'TAbstract>, [], calls, [||], None) 
  
positive.code:     static member Create(abstractType:Type, ?returnStrategy) = 
          mock(MockMode.Default, abstractType, [], [], [||], returnStrategy)
      /// Creates a mocked instance of the abstract type
      static member With(f:'TAbstract -> Expr<_>, ?returnStrategy) =
          let default' = Unchecked.defaultof<'TAbstract>
          let calls = toCallResultOf typeof<'TAbstract> (f default')
          Mock<'TAbstract>(MockMode.Default, [], calls |> List.rev, returnStrategy).Create()
      /// Specifies a mock of a type with a given method
      static member Method(f:'TAbstract -> Expr<'TArgs -> 'TReturnValue>) =
          let default' = Unchecked.defaultof<'TAbstract>
          let call = toCallOf typeof<'TAbstract> (f default')
          ReturnBuilder<'TAbstract,'TReturnValue>(call)
      /// Specifies a mock of a type with a given property
      static member Property(f:'TAbstract -> Expr<'TReturnValue>) =
          let default' = Unchecked.defaultof<'TAbstract>
          let call = toCallOf typeof<'TAbstract> (f default')
          ReturnBuilder<'TAbstract,'TReturnValue>(call)
  /// Generic builder for specifying method result
  and ReturnBuilder<'TAbstract,'TReturnValue when 'TAbstract : not struct> 
      internal (call) =
  
negative.code: 
  type Mock with
      /// Verifies expected call count against instance member invocations on specified mock
      #if FSHARP4 
      static member Verify([<ReflectedDefinition(false)>] expr:Expr<_>, expectedTimes:Times) =
          Mock.DoVerify(expr, expectedTimes)
      #else
      static member Verify(expr:Expr, expectedTimes:Times) =
          Mock.DoVerify(expr, expectedTimes)
      #endif
      static member internal DoVerify(expr:Expr, expectedTimes:Times) =
          let target,expectedMethod,expectedArgs = toCall expr
          let mock = target |> eval |> getMock
          let actualCalls = countInvocations mock expectedMethod expectedArgs
  