Statement constructor takes Claim as an argument

This is another step to use composition instead of inheritance between Claim and Statement. Note that the statement takes the same GUI it got from the claim.

If you care much about backwards compability we can also make the constructor accept both the old and the new format but I think this is too much overhead given how easiliy code can be adjusted to the new signature.