YES
Termination proof succeeded
Initially, performed program simplifications using lexicographic rank functions:
 * Removed transitions 124, 126, 127 using the following rank functions:
    - Rank function 1:
      RF for loc. 26: 1-arg2-arg3+2*arg4
      RF for loc. 51: -arg2-arg3+2*arg4
      Bound for (chained) transitions 126: 0
      Bound for (chained) transitions 127: 0
    - Rank function 2:
      RF for loc. 26: 1
      RF for loc. 51: 0
      Bound for (chained) transitions 124: 1
 * Removed transitions 116, 118, 119 using the following rank functions:
    - Rank function 1:
      RF for loc. 25: 1-2*arg1+2*arg2
      RF for loc. 47: -2*arg1+2*arg2
      Bound for (chained) transitions 118: 0
      Bound for (chained) transitions 119: 0
    - Rank function 2:
      RF for loc. 25: 1
      RF for loc. 47: 0
      Bound for (chained) transitions 116: 1
 * Removed transitions 104, 108, 109 using the following rank functions:
    - Rank function 1:
      RF for loc. 24: 1-2*arg2+2*arg3
      RF for loc. 43: -2*arg2+2*arg3
      Bound for (chained) transitions 108: 0
      Bound for (chained) transitions 109: 0
    - Rank function 2:
      RF for loc. 24: 0
      RF for loc. 43: -1
      Bound for (chained) transitions 104: 0
 * Removed transitions 82, 85, 86, 87, 88, 100 using the following rank functions:
    - Rank function 1:
      RF for loc. 23: -1-arg1+arg2
      RF for loc. 39: -arg1+arg2
      Bound for (chained) transitions 82, 100: -1
      Bound for (chained) transitions 85: 0
      Bound for (chained) transitions 86: 0
      Bound for (chained) transitions 87: 0
      Bound for (chained) transitions 88: 0
 * Removed transitions 60, 63, 64, 65, 66, 78 using the following rank functions:
    - Rank function 1:
      RF for loc. 21: -arg1+arg2
      RF for loc. 35: 1-arg1+arg2
      Bound for (chained) transitions 60, 78: 0
      Bound for (chained) transitions 63: 1
      Bound for (chained) transitions 64: 1
      Bound for (chained) transitions 65: 1
      Bound for (chained) transitions 66: 1
 * Removed transitions 19, 22, 23, 24, 25, 26, 27, 28, 46, 47, 48, 49, 53, 55, 56, 57 using the following rank functions:
    - Rank function 1:
      RF for loc. 17: 3-4*arg2+4*arg3
      RF for loc. 18: 1-4*arg2+4*arg3
      RF for loc. 19: -4*arg2+4*arg4
      RF for loc. 27: 2-4*arg2+4*arg3
      RF for loc. 31: -4*arg2+4*arg4
      Bound for (chained) transitions 22: 6
      Bound for (chained) transitions 23: 6
      Bound for (chained) transitions 24: 6
      Bound for (chained) transitions 25: 6
      Bound for (chained) transitions 26: 6
      Bound for (chained) transitions 27: 6
      Bound for (chained) transitions 28: 6
      Bound for (chained) transitions 46: 5
      Bound for (chained) transitions 47: 5
      Bound for (chained) transitions 48: 5
      Bound for (chained) transitions 49: 5
    - Rank function 2:
      RF for loc. 17: -1
      RF for loc. 19: 0
      RF for loc. 27: -2
      RF for loc. 31: 0
      Bound for (chained) transitions 19: -1
      Bound for (chained) transitions 55: 0
    - Rank function 3:
      RF for loc. 19: 1-2*arg3
      RF for loc. 31: -2*arg3
      Bound for (chained) transitions 56: -198
      Bound for (chained) transitions 57: -198
    - Rank function 4:
      RF for loc. 19: 0
      RF for loc. 31: -1
      Bound for (chained) transitions 53: 0
Errors: