Taxcredit

We will test that the tax credit is correct for a given set of inputs.
We we also test that for all plans the difference between the premiums with credit and the premium without credit is the tax credit.