YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 77, 80, 81, 89, 91, 92, 93 using the following rank functions:
    - Rank function 1:
      RF for loc. 20: 2-3*arg4+3*arg8
      RF for loc. 21: 3*arg10-3*arg3
      RF for loc. 34: 1-3*arg4+3*arg8
      RF for loc. 38: 3*arg10-3*arg3
      Bound for (chained) transitions 80: 4
      Bound for (chained) transitions 81: 4
    - Rank function 2:
      RF for loc. 20: 0
      RF for loc. 21: arg1+5*arg4
      RF for loc. 34: -1
      RF for loc. 38: -1+arg1+5*arg4
      Bound for (chained) transitions 77: 0
      Bound for (chained) transitions 91: 4
      Bound for (chained) transitions 92: 8
      Bound for (chained) transitions 93: 3
    - Rank function 3:
      RF for loc. 21: 1
      RF for loc. 38: 0
      Bound for (chained) transitions 89: 1
 * Removed transitions 57, 62, 63, 64, 65, 66, 67, 76 using the following rank functions:
    - Rank function 1:
      RF for loc. 16: 2*arg4
      RF for loc. 17: -2+2*arg3
      RF for loc. 30: -1+2*arg4
      Bound for (chained) transitions 62: -1
      Bound for (chained) transitions 64: -1
      Bound for (chained) transitions 65: -1
      Bound for (chained) transitions 66: -1
      Bound for (chained) transitions 67: -1
      Bound for (chained) transitions 76: 4
    - Rank function 2:
      RF for loc. 16: 1
      RF for loc. 17: -arg5P
      RF for loc. 30: 0
      Bound for (chained) transitions 57: 1
      Bound for (chained) transitions 63: 0
 * Removed transitions 27, 30, 31 using the following rank functions:
    - Rank function 1:
      RF for loc. 15: 1+arg3-arg4
      RF for loc. 22: arg3-arg4
      Bound for (chained) transitions 30: 2
      Bound for (chained) transitions 31: 2
    - Rank function 2:
      RF for loc. 15: 0
      RF for loc. 22: -1
      Bound for (chained) transitions 27: 0
 * Removed transitions 37, 41, 42, 43, 44, 45, 46, 55 using the following rank functions:
    - Rank function 1:
      RF for loc. 18: arg3+arg4
      RF for loc. 19: -2+2*arg2
      RF for loc. 26: -1+arg3+arg4
      Bound for (chained) transitions 41: -1
      Bound for (chained) transitions 42: -1
      Bound for (chained) transitions 43: -1
      Bound for (chained) transitions 44: -1
      Bound for (chained) transitions 45: -1
      Bound for (chained) transitions 46: -1
      Bound for (chained) transitions 55: 4
    - Rank function 2:
      RF for loc. 18: 0
      RF for loc. 26: -1
      Bound for (chained) transitions 37: 0
Errors: