- node [style = "", shape = diamond] cond [label="Size of y\n enough"];
- node [style = rounded, shape = rect] key
- node [style = rounded, shape = rect] start end;
- node [style = rounded, shape = rect] PI [label="Parameter\nInstantiation"]
+ node [style = rounded, shape = rect] key [label="Key k"]
+ node [style = rounded, shape = rect] start [label="Start"]
+ node [style = rounded, shape = rect] end [label="End"]
+ node [style = rounded, shape = rect] PIb [label="Param. b"]
+ node [style = rounded, shape = rect] PIh [label="Param. H"]