let
pretty fmt (v: t) =
Format
.fprintf fmt
"<STATE>@\n%a@\n<\\STATE>@."
BuildPdg
.print_state v