Ensure calls to functions of mocks can be verified