- entry_type: violation_sequence
  metadata:
    format_version: '2.0'
    uuid: fd64c4bc-5f10-4811-bf1e-81eccb7b90e0
    creation_time: '2024-08-01T16:22:39+02:00'
    producer:
      name: Automizer
      version: 0.2.4-wip.fs.yaml-violation-witnesses-bf1304b-m
    task:
      input_files:
      - /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
      input_file_hashes:
        /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
      specification: |+
        CHECK( init(main()), LTL(G ! call(reach_error())) )

      data_model: 32bit
      language: C
  content:
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1673
          column: 9
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1676
          column: 41
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 65
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 83
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 92
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 99
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1676
          column: 41
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1673
          column: 9
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1676
          column: 41
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 65
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 83
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 92
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 99
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 105
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 115
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 124
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 136
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 145
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 156
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 165
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 174
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 182
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 191
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 201
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 223
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 232
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 243
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 248
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 258
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 267
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 275
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 286
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 294
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 302
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 311
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 322
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 329
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 339
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 349
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 358
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 366
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 376
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 387
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 407
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 415
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 424
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 432
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 444
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 451
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 460
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 468
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 477
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 490
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 498
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 507
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 523
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 532
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 539
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 549
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 556
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 566
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 576
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 584
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 593
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 602
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 613
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 624
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 632
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 643
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 653
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 663
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 668
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 675
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 685
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 694
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 711
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 719
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 743
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 753
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 763
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 771
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 779
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 787
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 794
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 805
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 814
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 823
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 835
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 846
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 854
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 863
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 873
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 878
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 899
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 909
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 917
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 927
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 947
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 957
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 965
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 976
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 985
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 993
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1004
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1013
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1021
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1031
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1041
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1048
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1071
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1076
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1084
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1096
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1105
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1114
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1122
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1130
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1137
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1142
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1152
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1162
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1172
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1183
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1192
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1200
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1210
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1220
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1221
          column: 7
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1676
          column: 41
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1673
          column: 9
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1676
          column: 41
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 65
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 83
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 92
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 99
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 105
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 115
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 124
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 136
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 145
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 156
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 165
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 174
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 182
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 191
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 201
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 223
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 232
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 243
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 248
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 258
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 267
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 275
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 286
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 294
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1676
          column: 41
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1673
          column: 9
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1676
          column: 41
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 65
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 83
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 92
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 99
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 105
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 115
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 124
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 136
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 145
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 156
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 165
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 174
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 182
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 191
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 201
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 223
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 232
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 243
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 248
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 258
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 267
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 275
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 286
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 294
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 302
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 311
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 322
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 329
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 339
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 349
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 358
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 366
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 376
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 387
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 407
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 415
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 424
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 432
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 444
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 451
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 460
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 468
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 477
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 490
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 498
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 507
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 523
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 532
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 539
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 549
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 556
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 566
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 576
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 584
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 593
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 602
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1676
          column: 41
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1673
          column: 9
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1676
          column: 41
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 65
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 83
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 92
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 99
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 105
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 115
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 124
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 136
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 145
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 156
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 165
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 174
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 182
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 191
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 201
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 223
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 232
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 243
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 248
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 258
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 267
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 275
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 286
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 294
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 302
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 311
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 322
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 329
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 339
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 349
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 358
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 366
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 376
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 387
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 407
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 415
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 424
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 432
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 444
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 451
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 460
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 468
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 477
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 490
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 498
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 507
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 523
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 532
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 539
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 549
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 556
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 566
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 576
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 584
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 593
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 602
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 613
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 624
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 632
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 643
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 653
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 663
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 668
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 675
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 685
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 694
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 711
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 719
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 743
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 753
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 763
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 771
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 779
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 787
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 794
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 805
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 814
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 823
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 835
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 846
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 854
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 863
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 873
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 878
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 899
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 909
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 917
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 927
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 947
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 957
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 965
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 976
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 985
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 993
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1004
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1013
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1021
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1031
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1041
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1048
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1071
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1076
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1084
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1096
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1105
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1114
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1122
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1130
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1137
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1142
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1152
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1162
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1172
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1183
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1192
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1200
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1210
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1220
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1236
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1247
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1259
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1284
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1293
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1315
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1323
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1331
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1336
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1346
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1354
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1360
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1369
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1391
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1412
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1433
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1442
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1452
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1462
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1470
          column: 13
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1476
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1479
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1482
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1485
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1488
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1491
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1494
          column: 6
          function: calculate_output
        action: follow
  - segment:
    - waypoint:
        type: target
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/eca-rers2012/Problem03_label43.c
          file_hash: 19ed94a411b232e859c90088088215ee5fab35ddb2ecc95dbb01f18c20ea13dd
          line: 1495
          column: 18
          function: calculate_output
        action: follow
