V auto_0("a") V auto_initial_IP(global) D auto_initial_IP,"var",auto_0 V auto_2(resolve) D auto_2,"var",auto_0 N auto_3 V auto_4(1) V auto_5(2) E auto_6(auto_3,auto_5) E auto_7(auto_6,auto_4) V auto_8("abc") V auto_9(5) E auto_10(auto_3,auto_9) E auto_11(auto_10,auto_8) V auto_12(1) N auto_13 V auto_14(5) V auto_15("def") E auto_16(auto_13,auto_15) E auto_17(auto_16,auto_14) E auto_18(auto_3,auto_13) E auto_19(auto_18,auto_12) V auto_20(True) V auto_21(False) E auto_22(auto_3,auto_21) E auto_23(auto_22,auto_20) V auto_24(constant) D auto_24,"node",auto_3 V auto_25(assign) D auto_25,"var",auto_2 D auto_25,"value",auto_24 D auto_initial_IP,"next",auto_25