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: -1
      RF for loc. 21: 2*arg4
      RF for loc. 34: -2
      RF for loc. 38: -1+2*arg4
      Bound for (chained) transitions 77: -1
      Bound for (chained) transitions 91: 0
      Bound for (chained) transitions 92: 1
      Bound for (chained) transitions 93: -1
    - Rank function 3:
      RF for loc. 21: 0
      RF for loc. 38: -1
      Bound for (chained) transitions 89: 0
 * Removed transitions 57, 62, 63, 64, 65, 66, 67, 76 using the following rank functions:
    - Rank function 1:
      RF for loc. 16: 1+2*arg4
      RF for loc. 17: 2+2*arg10
      RF for loc. 30: 2*arg4
      Bound for (chained) transitions 62: 0
      Bound for (chained) transitions 63: 0
      Bound for (chained) transitions 64: 0
      Bound for (chained) transitions 65: 0
      Bound for (chained) transitions 66: 0
      Bound for (chained) transitions 67: 0
    - Rank function 2:
      RF for loc. 16: -arg1P
      RF for loc. 17: 0
      RF for loc. 30: -1-arg1P
      Bound for (chained) transitions 76: 0
    - Rank function 3:
      RF for loc. 16: 1
      RF for loc. 30: 0
      Bound for (chained) transitions 57: 1
 * 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: 1
      RF for loc. 22: 0
      Bound for (chained) transitions 27: 1
 * Removed transitions 38, 41, 42, 43, 44, 45, 46, 55 using the following rank functions:
    - Rank function 1:
      RF for loc. 18: 2*arg2
      RF for loc. 19: 1+2*arg5
      RF for loc. 26: -1+2*arg2
      Bound for (chained) transitions 41: -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: 1
    - Rank function 2:
      RF for loc. 18: 0
      RF for loc. 19: -2*arg2P
      RF for loc. 26: -1
      Bound for (chained) transitions 38: 0
    - Rank function 3:
      RF for loc. 19: -1
      RF for loc. 26: 0
      Bound for (chained) transitions 42: 0
Errors: