Updates to the execution_core.dot output.  Minor tidying.
Updates to the execution_core.dot output.  Minor tidying.

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