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
