YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 45, 48, 49 using the following rank functions:
    - Rank function 1:
      RF for loc. 17: 1+2*arg2
      RF for loc. 24: 2*arg2
      Bound for (chained) transitions 48: 2
      Bound for (chained) transitions 49: 2
    - Rank function 2:
      RF for loc. 17: 1
      RF for loc. 24: 0
      Bound for (chained) transitions 45: 1
 * Removed transitions 57, 60, 61 using the following rank functions:
    - Rank function 1:
      RF for loc. 18: 1+2*arg2
      RF for loc. 28: 2*arg2
      Bound for (chained) transitions 60: 2
      Bound for (chained) transitions 61: 2
    - Rank function 2:
      RF for loc. 18: 0
      RF for loc. 28: -1
      Bound for (chained) transitions 57: 0
 * Removed transitions 117, 120, 121, 122, 132 using the following rank functions:
    - Rank function 1:
      RF for loc. 21: -1+2*arg12-2*arg13+arg5-arg6
      RF for loc. 22: 2*arg16-2*arg17+arg7-arg8
      RF for loc. 44: -2+2*arg12-2*arg13+arg5-arg6
      Bound for (chained) transitions 121: 1
      Bound for (chained) transitions 122: 1
    - Rank function 2:
      RF for loc. 21: 13+arg12-arg13+arg5-arg6
      RF for loc. 22: -arg17+arg1+arg2-arg8
      RF for loc. 44: 12+arg12-arg13+arg5-arg6
      Bound for (chained) transitions 120: 14
      Bound for (chained) transitions 132: 4
    - Rank function 3:
      RF for loc. 21: 1
      RF for loc. 44: 0
      Bound for (chained) transitions 117: 1
 * Removed transitions 85, 89, 90, 91, 92, 93 using the following rank functions:
    - Rank function 1:
      RF for loc. 20: 1+arg18+arg24
      RF for loc. 36: arg18+arg24
      Bound for (chained) transitions 89: 2
      Bound for (chained) transitions 90: 2
      Bound for (chained) transitions 91: 2
      Bound for (chained) transitions 92: 2
      Bound for (chained) transitions 93: 2
    - Rank function 2:
      RF for loc. 20: 0
      RF for loc. 36: -1
      Bound for (chained) transitions 85: 0
 * Removed transitions 101, 105, 106, 107, 108, 109 using the following rank functions:
    - Rank function 1:
      RF for loc. 23: 1+arg21+arg27
      RF for loc. 40: arg21+arg27
      Bound for (chained) transitions 105: 2
      Bound for (chained) transitions 106: 2
      Bound for (chained) transitions 107: 2
      Bound for (chained) transitions 108: 2
      Bound for (chained) transitions 109: 2
    - Rank function 2:
      RF for loc. 23: 0
      RF for loc. 40: -1
      Bound for (chained) transitions 101: 0
 * Removed transitions 69, 73, 74, 75, 76, 77 using the following rank functions:
    - Rank function 1:
      RF for loc. 19: 1+arg18+arg24
      RF for loc. 32: arg18+arg24
      Bound for (chained) transitions 73: 2
      Bound for (chained) transitions 74: 2
      Bound for (chained) transitions 75: 2
      Bound for (chained) transitions 76: 2
      Bound for (chained) transitions 77: 2
    - Rank function 2:
      RF for loc. 19: 0
      RF for loc. 32: -1
      Bound for (chained) transitions 69: 0
Errors: