[auto_group] minor updates to sdl and added dot graph generation
[auto_group] add check for dot graph flag in assump/reduction as well