dominates
int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local);
dominance = dominates(pseudo, insn, dom, local);
dominance = dominates(pseudo, insn, dom, local);
dominance = dominates(pseudo, insn, one, local);