- Allium spec: damage-and-health.allium
- 5 fast-check properties: damage reduces health, health non-negative,
death at zero, self-damage forbidden, dead cannot take damage
- Character.createWithHealth factory for testing with arbitrary health
- Character.dealDamage(target, damage) method
