wolffd@0: digraph G {
wolffd@0:     node [shape=record];
wolffd@0:     a [label = "<f0> foo | x | <f1> bar"];
wolffd@0:     b [label = "a | { <f0> foo | x | <f1> bar } | b"];
wolffd@0:     a:f0 -> b:f1 
wolffd@0: }