While

Node

WhileEnd

Node

whileSuccessor

WhileEnd

width

VarInfo

withDecl

Chain