Add diameter computation on the quotient graph