[disjoint] remove unecessary include