ADD explain head(v) and k(v)
ADD sv analysis (partially)
FIX
ADD goldberg-tarjan