public void VerifyTransaction(AccountService accountService, User user, ITransaction transaction) { var isValidTransaction = accountService.VerifyTransaction(user, transaction); PexAssert.IsTrue(isValidTransaction); }