node [style = rounded, shape = rect] start end;
node [style = rounded, shape = rect] PI [label="Parameter\nInstantiation"]
node [style = rounded, shape = rect] STC [label="m = STCr(y,H)"]
node [style = rounded, shape = rect] start end;
node [style = rounded, shape = rect] PI [label="Parameter\nInstantiation"]
node [style = rounded, shape = rect] STC [label="m = STCr(y,H)"]