Reviewed-by: twisti, kvn, sla
Summary: keep an (almost) accurate running count of the reachable (live) flow graph nodes. Reviewed-by: kvn, twisti, jrose, vlivanov
Reviewed-by: kvn
