Throwaway utility to generate a state transition graph (.dot format) for TSE order states