graphviz output: display end states, warnings and forwarding