Removing unused function isdisjoint