minor
Add important documentation in the way the algorithm which computes terminal vertices works
Add important documentation in the way the algorithm which computes terminal vertices works and fix the fact that sometimes isolated classes did not have reachable leaves computed (due to the implementation of the algorithm which is used for their computation).