implemented thenCalled with simple verification