Added EasyMock for comparison; added "verify" tests