I'm very confused by the dot output in the latest compiler. I see labels that appear in more than one of the .cfg.dot files. In the old MLton I didn't see this happening. What am I missing?