lib: refactor
lib: output full dominator tree