FDL > PVS > Graphs > subgraphs > G2 : var-decl

G2: VAR graph[T]