[STF] Fix DOT outputs and cleanup dot implementation

DOT outputs are currently broken, the task names are ignored

There are also calls like this in STF implementation, where we would rely on deduction instead
- dot.template add_vertex(t);