V auto_initial_IP(while)
V auto_1(True)
V auto_2(constant)
D auto_2,"node",auto_1
V auto_3(output)
V auto_4(input)
D auto_3,"value",auto_4
D auto_initial_IP,"cond",auto_2
D auto_initial_IP,"body",auto_3
