withClaim

Uses the given holds as AssertionGroup.holds (or for the fixed part).