ADTSplit should not care about witnesses