Computes and returns map of dominators for each node in the control flow graph @param cfg control flow graph @return map of nodes and corresponding set of dominator nodes
(final CFG cfg)
source not stored for this graph (policy: none)
no test coverage detected