YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 50, 53, 54, 55, 56, 68, 69, 71, 73, 74, 75, 76, 83, 84, 86, 88, 89, 90, 91, 92, 93, 102, 103 using the following rank functions:
    - Rank function 1:
      RF for loc. 19: 5*arg1
      RF for loc. 20: 3+5*arg2
      RF for loc. 21: 3+5*arg2
      RF for loc. 22: 8+5*arg2
      RF for loc. 23: 1+5*arg2
      RF for loc. 24: 1+5*arg2
      RF for loc. 25: 1+5*arg1
      RF for loc. 30: -1+5*arg1
      RF for loc. 34: 2+5*arg2
      RF for loc. 38: 2+5*arg2
      Bound for (chained) transitions 53: -1
      Bound for (chained) transitions 54: -1
      Bound for (chained) transitions 55: -1
      Bound for (chained) transitions 56: -1
      Bound for (chained) transitions 68: 13
      Bound for (chained) transitions 71: 13
      Bound for (chained) transitions 73: 2
      Bound for (chained) transitions 74: 2
      Bound for (chained) transitions 76: 2
      Bound for (chained) transitions 83: 11
      Bound for (chained) transitions 86: 13
      Bound for (chained) transitions 88: 2
      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
      Bound for (chained) transitions 102: 11
      Bound for (chained) transitions 103: 11
    - Rank function 2:
      RF for loc. 19: 0
      RF for loc. 20: 1
      RF for loc. 21: 0
      RF for loc. 23: -arg1P
      RF for loc. 30: -1
      RF for loc. 34: 0
      RF for loc. 38: -1
      Bound for (chained) transitions 50: 0
      Bound for (chained) transitions 69: 1
      Bound for (chained) transitions 75: 0
      Bound for (chained) transitions 84: 0
 * Removed transitions 34, 37, 38, 39, 49 using the following rank functions:
    - Rank function 1:
      RF for loc. 17: 2+3*arg1
      RF for loc. 18: 3*arg1
      RF for loc. 26: 1+3*arg1
      Bound for (chained) transitions 37: 4
      Bound for (chained) transitions 38: 4
      Bound for (chained) transitions 39: 4
      Bound for (chained) transitions 49: 3
    - Rank function 2:
      RF for loc. 17: 0
      RF for loc. 26: -1
      Bound for (chained) transitions 34: 0
Errors: