update usage of preds and succs
correct dominators to use dfa