finally a terminating and transitive algorithm for determining coverage