By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Mutation redundancy: spell out the subsumption relation instead of using the ⊂ symbol Render each dominated test on its own line followed by 'every mutation it kills is also killed by <dominator>', and reword the section header to match, rather than the ⊂ glyph.