Cleverer digraph checking.
Applied size measurement patch received via email.