rename include-dominated to discard-dominated
Explain the bit about the vistors in the table