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