For Rabin Acceptance: If a transition is marked as Fin, Inf doesn't need to be computed for that pair.