absorbingJoinPairs

pairs where a ⊔ b != a — the join had to take something from the decoded operand. A pass whose every join already dominated its second operand never read the decoded state at all.