and nodeinfo = {
labels: int list; (* Labels. Trick used for CTL engine *)
bclabels: int list; (* parent of a break or continue node *)
and nodeinfo = {
labels: int list; (* Labels. Trick used for CTL engine *)
bclabels: int list; (* parent of a break or continue node *)
| WhileHeader of statement * expression wrap
| DoHeader of statement * info
| DoWhileTail of expression wrap
| WhileHeader of statement * expression wrap
| DoHeader of statement * info
| DoWhileTail of expression wrap
(exprStatement wrap * exprStatement wrap * exprStatement wrap)
wrap
| SwitchHeader of statement * expression wrap
(exprStatement wrap * exprStatement wrap * exprStatement wrap)
wrap
| SwitchHeader of statement * expression wrap