Unique operations as well as Intervals in ImplicationGraph