NO * Step 1: FromIts NO + Considered Problem: Rules: 0. eval_aaron3_start(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb0_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 1. eval_aaron3_bb0_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_0(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 2. eval_aaron3_0(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_1(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 3. eval_aaron3_1(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_2(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 4. eval_aaron3_2(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_3(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 5. eval_aaron3_3(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_4(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 6. eval_aaron3_4(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_5(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 7. eval_aaron3_5(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_6(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 8. eval_aaron3_6(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_7(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 9. eval_aaron3_7(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_8(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 10. eval_aaron3_8(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_x,v_y,v_z,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 11. eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb2_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [v__01 >= v__02] (?,1) 12. eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v__02 >= v__01] (?,1) 13. eval_aaron3_bb2_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_9(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 14. eval_aaron3_9(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_10(v__01,v__02,v__04,nondef_0,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 15. eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb3_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v_1 >= 0] (?,1) 16. eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb4_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [0 >= v_1] (?,1) 17. eval_aaron3_bb3_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_12(v__01,v__02,v__04,v_1,-1 + v__04,v_4,v_tx,v_x,v_y,v_z) True (?,1) 18. eval_aaron3_12(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,nondef_1,v_tx,v_x,v_y,v_z) True (?,1) 19. eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v_4 >= v_3 + v__01] (?,1) 20. eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_4,v__02,v_3,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [v_3 + v__01 >= v_4] (?,1) 21. eval_aaron3_bb4_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v__01,1 + v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 22. eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_stop(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) Signature: {(eval_aaron3_0,10) ;(eval_aaron3_1,10) ;(eval_aaron3_10,10) ;(eval_aaron3_12,10) ;(eval_aaron3_13,10) ;(eval_aaron3_2,10) ;(eval_aaron3_3,10) ;(eval_aaron3_4,10) ;(eval_aaron3_5,10) ;(eval_aaron3_6,10) ;(eval_aaron3_7,10) ;(eval_aaron3_8,10) ;(eval_aaron3_9,10) ;(eval_aaron3_bb0_in,10) ;(eval_aaron3_bb1_in,10) ;(eval_aaron3_bb2_in,10) ;(eval_aaron3_bb3_in,10) ;(eval_aaron3_bb4_in,10) ;(eval_aaron3_bb5_in,10) ;(eval_aaron3_start,10) ;(eval_aaron3_stop,10)} Flow Graph: [0->{1},1->{2},2->{3},3->{4},4->{5},5->{6},6->{7},7->{8},8->{9},9->{10},10->{11,12},11->{13},12->{22} ,13->{14},14->{15,16},15->{17},16->{21},17->{18},18->{19,20},19->{22},20->{11,12},21->{11,12},22->{}] + Applied Processor: FromIts + Details: () * Step 2: CloseWith NO + Considered Problem: Rules: eval_aaron3_start(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb0_in(v__01,v__02 ,v__04,v_1,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_bb0_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_0(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_0(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_1(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_1(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_2(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_2(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_3(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_3(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_4(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_4(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_5(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_5(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_6(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_6(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_7(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_7(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_8(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_8(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_x,v_y,v_z,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb2_in(v__01,v__02,v__04 ,v_1,v_3,v_4,v_tx,v_x,v_y ,v_z) [v__01 >= v__02] eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04 ,v_1,v_3,v_4,v_tx,v_x,v_y ,v_z) [-1 + v__02 >= v__01] eval_aaron3_bb2_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_9(v__01,v__02,v__04,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_9(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_10(v__01,v__02,v__04 ,nondef_0,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb3_in(v__01,v__02,v__04 ,v_1,v_3,v_4,v_tx,v_x,v_y ,v_z) [-1 + v_1 >= 0] eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb4_in(v__01,v__02,v__04 ,v_1,v_3,v_4,v_tx,v_x,v_y ,v_z) [0 >= v_1] eval_aaron3_bb3_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_12(v__01,v__02,v__04,v_1 ,-1 + v__04,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_12(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_13(v__01,v__02,v__04,v_1 ,v_3,nondef_1,v_tx,v_x,v_y ,v_z) True eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04 ,v_1,v_3,v_4,v_tx,v_x,v_y ,v_z) [-1 + v_4 >= v_3 + v__01] eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_4,v__02,v_3,v_1 ,v_3,v_4,v_tx,v_x,v_y ,v_z) [v_3 + v__01 >= v_4] eval_aaron3_bb4_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v__01,1 + v__02 ,v__04,v_1,v_3,v_4,v_tx,v_x,v_y ,v_z) True eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_stop(v__01,v__02,v__04 ,v_1,v_3,v_4,v_tx,v_x,v_y ,v_z) True Signature: {(eval_aaron3_0,10) ;(eval_aaron3_1,10) ;(eval_aaron3_10,10) ;(eval_aaron3_12,10) ;(eval_aaron3_13,10) ;(eval_aaron3_2,10) ;(eval_aaron3_3,10) ;(eval_aaron3_4,10) ;(eval_aaron3_5,10) ;(eval_aaron3_6,10) ;(eval_aaron3_7,10) ;(eval_aaron3_8,10) ;(eval_aaron3_9,10) ;(eval_aaron3_bb0_in,10) ;(eval_aaron3_bb1_in,10) ;(eval_aaron3_bb2_in,10) ;(eval_aaron3_bb3_in,10) ;(eval_aaron3_bb4_in,10) ;(eval_aaron3_bb5_in,10) ;(eval_aaron3_start,10) ;(eval_aaron3_stop,10)} Rule Graph: [0->{1},1->{2},2->{3},3->{4},4->{5},5->{6},6->{7},7->{8},8->{9},9->{10},10->{11,12},11->{13},12->{22} ,13->{14},14->{15,16},15->{17},16->{21},17->{18},18->{19,20},19->{22},20->{11,12},21->{11,12},22->{}] + Applied Processor: CloseWith False + Details: () NO