Add instruction level dominates(A,B) interface.