remove debug code
use TIntSet for DepSets