bugfixed: print dominator tree instead of graph
merge
add junit library