2ed6835a

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.