Computing graph dominators (via fanf) — discussion

#compsci