A more sensible way to write execution.dot on exit.
A more sensible way to write execution.dot on exit.

septract/jstar-old,septract/jstar-old,seplogic/jstar,MatkoBotincan/corestar-old,seplogic/jstar,seplogic/jstar