Add BasicBlock level dominates(A,B) interface.