digraph Example {
    graph [retry_target="plan"]
    start [shape=Mdiamond]
    plan [label="Plan"]
    implement [label="Implement"]
    verify [shape=box, label="Verify", goal_gate="true", retry_target="implement"]
    exit [shape=Msquare]

    start -> plan -> implement -> verify -> exit
}