Build dependency graphs between COQ objects