Fixes to the computation of equivalence graphs