FDL
>
PVS
>
Graphs
>
subgraphs
> SS
: var-decl
SS: VAR
graph
[T]