Added verification that mocked methods were called