Taxman problem with tdd testing