digraph DeclarativeActivityAutomaton {
node [shape="circle", label=""]
initial [shape="plaintext", label=""]