dag2dot: Fix level numbering in redundant edge removal
dag2dot: Remove unused reduction algorithm