asd
Distributions become histograms
ADTSplit should not care about witnesses