NO
* Step 1: FromIts NO
    + Considered Problem:
        Rules:
          0.  evalperfectstart(A,B,C,D)    -> evalperfectentryin(A,B,C,D)           True         (1,1)
          1.  evalperfectentryin(A,B,C,D)  -> evalperfectreturnin(A,B,C,D)          [1 >= A]     (?,1)
          2.  evalperfectentryin(A,B,C,D)  -> evalperfectbb1in(A,B,C,D)             [A >= 2]     (?,1)
          3.  evalperfectbb1in(A,B,C,D)    -> evalperfectbb8in(A,A,-1 + A,D)        True         (?,1)
          4.  evalperfectbb8in(A,B,C,D)    -> evalperfectbb4in(A,B,C,A)             [C >= 1]     (?,1)
          5.  evalperfectbb8in(A,B,C,D)    -> evalperfectbb9in(B,B,C,D)             [0 >= C]     (?,1)
          6.  evalperfectbb4in(A,B,C,D)    -> evalperfectbb3in(A,B,C,D)             [D >= C]     (?,1)
          7.  evalperfectbb4in(A,B,C,D)    -> evalperfectbb5in(A,B,C,D)             [C >= 1 + D] (?,1)
          8.  evalperfectbb3in(A,B,C,D)    -> evalperfectbb4in(A,B,C,-1*C + D)      True         (?,1)
          9.  evalperfectbb5in(A,B,C,D)    -> evalperfectbb8in(A,B + -1*C,-1 + C,D) [D = 0]      (?,1)
          10. evalperfectbb5in(A,B,C,D)    -> evalperfectbb8in(A,B,-1 + C,D)        [0 >= 1 + D] (?,1)
          11. evalperfectbb5in(A,B,C,D)    -> evalperfectbb8in(A,B,-1 + C,D)        [D >= 1]     (?,1)
          12. evalperfectbb9in(A,B,C,D)    -> evalperfectreturnin(A,B,C,D)          [0 >= 1 + A] (?,1)
          13. evalperfectbb9in(A,B,C,D)    -> evalperfectreturnin(A,B,C,D)          [A >= 1]     (?,1)
          14. evalperfectbb9in(A,B,C,D)    -> evalperfectreturnin(A,B,C,D)          [A = 0]      (?,1)
          15. evalperfectreturnin(A,B,C,D) -> evalperfectstop(A,B,C,D)              True         (?,1)
        Signature:
          {(evalperfectbb1in,4)
          ;(evalperfectbb3in,4)
          ;(evalperfectbb4in,4)
          ;(evalperfectbb5in,4)
          ;(evalperfectbb8in,4)
          ;(evalperfectbb9in,4)
          ;(evalperfectentryin,4)
          ;(evalperfectreturnin,4)
          ;(evalperfectstart,4)
          ;(evalperfectstop,4)}
        Flow Graph:
          [0->{1,2},1->{15},2->{3},3->{4,5},4->{6,7},5->{12,13,14},6->{8},7->{9,10,11},8->{6,7},9->{4,5},10->{4,5}
          ,11->{4,5},12->{15},13->{15},14->{15},15->{}]
        
    + Applied Processor:
        FromIts
    + Details:
        ()
* Step 2: CloseWith NO
    + Considered Problem:
        Rules:
          evalperfectstart(A,B,C,D)    -> evalperfectentryin(A,B,C,D)             True
          evalperfectentryin(A,B,C,D)  -> evalperfectreturnin(A,B,C,D)            [1 >= A]
          evalperfectentryin(A,B,C,D)  -> evalperfectbb1in(A,B,C,D)               [A >= 2]
          evalperfectbb1in(A,B,C,D)    -> evalperfectbb8in(A,A,-1 + A,D)          True
          evalperfectbb8in(A,B,C,D)    -> evalperfectbb4in(A,B,C,A)               [C >= 1]
          evalperfectbb8in(A,B,C,D)    -> evalperfectbb9in(B,B,C,D)               [0 >= C]
          evalperfectbb4in(A,B,C,D)    -> evalperfectbb3in(A,B,C,D)               [D >= C]
          evalperfectbb4in(A,B,C,D)    -> evalperfectbb5in(A,B,C,D)               [C >= 1 + D]
          evalperfectbb3in(A,B,C,D)    -> evalperfectbb4in(A,B,C,-1*C + D)        True
          evalperfectbb5in(A,B,C,D)    -> evalperfectbb8in(A,B + -1*C,-1 + C,D)   [D = 0]
          evalperfectbb5in(A,B,C,D)    -> evalperfectbb8in(A,B,-1 + C,D)          [0 >= 1 + D]
          evalperfectbb5in(A,B,C,D)    -> evalperfectbb8in(A,B,-1 + C,D)          [D >= 1]
          evalperfectbb9in(A,B,C,D)    -> evalperfectreturnin(A,B,C,D)            [0 >= 1 + A]
          evalperfectbb9in(A,B,C,D)    -> evalperfectreturnin(A,B,C,D)            [A >= 1]
          evalperfectbb9in(A,B,C,D)    -> evalperfectreturnin(A,B,C,D)            [A = 0]
          evalperfectreturnin(A,B,C,D) -> evalperfectstop(A,B,C,D)                True
        Signature:
          {(evalperfectbb1in,4)
          ;(evalperfectbb3in,4)
          ;(evalperfectbb4in,4)
          ;(evalperfectbb5in,4)
          ;(evalperfectbb8in,4)
          ;(evalperfectbb9in,4)
          ;(evalperfectentryin,4)
          ;(evalperfectreturnin,4)
          ;(evalperfectstart,4)
          ;(evalperfectstop,4)}
        Rule Graph:
          [0->{1,2},1->{15},2->{3},3->{4,5},4->{6,7},5->{12,13,14},6->{8},7->{9,10,11},8->{6,7},9->{4,5},10->{4,5}
          ,11->{4,5},12->{15},13->{15},14->{15},15->{}]
    + Applied Processor:
        CloseWith False
    + Details:
        ()

NO