Add method to check to see if two _Instructions_ dominate each other