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

G1: VAR graph[T]