- entry_type: violation_sequence
  metadata:
    format_version: '2.0'
    uuid: 381bb494-d7c5-4ebc-8478-3ee69a55069f
    creation_time: '2024-08-01T23:22:57+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/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
      input_file_hashes:
        /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
      specification: |+
        CHECK( init(main()), LTL(G ! call(reach_error())) )

      data_model: 32bit
      language: C
  content:
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 499
          column: 14
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 209
          column: 28
          function: init
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 73
          column: 42
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 127
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 73
          column: 42
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 74
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 73
          column: 42
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 127
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 73
          column: 42
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 74
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 73
          column: 42
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 127
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 73
          column: 42
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 74
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 209
          column: 28
          function: init
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 210
          column: 3
          function: init
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 213
          column: 32
          function: init
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 78
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 79
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 137
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 79
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 80
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 78
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 79
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 137
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 79
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 80
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 78
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 79
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 137
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 79
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 80
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 213
          column: 32
          function: init
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 214
          column: 3
          function: init
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 217
          column: 32
          function: init
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 78
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 84
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 85
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 146
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 147
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 85
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 86
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 78
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 84
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 85
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 146
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 147
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 85
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 86
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 78
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 84
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 85
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 146
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 147
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 85
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 86
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 217
          column: 32
          function: init
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 218
          column: 3
          function: init
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 221
          column: 32
          function: init
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 78
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 84
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 90
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 91
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 91
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 92
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 78
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 84
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 90
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 91
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 91
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 92
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 72
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 78
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 84
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 90
          column: 5
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 91
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 91
          column: 46
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 92
          column: 7
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 71
          column: 3
          function: add_history_type
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 221
          column: 32
          function: init
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 222
          column: 3
          function: init
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 499
          column: 14
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 500
          column: 3
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 508
          column: 3
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 510
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 344
          column: 37
          function: gate1_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 181
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 344
          column: 37
          function: gate1_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 345
          column: 3
          function: gate1_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 510
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 511
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 375
          column: 37
          function: gate2_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 181
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 186
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 375
          column: 37
          function: gate2_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 376
          column: 3
          function: gate2_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 511
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 512
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 406
          column: 37
          function: gate3_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 181
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 186
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 191
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 406
          column: 37
          function: gate3_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 407
          column: 3
          function: gate3_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 413
          column: 3
          function: gate3_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 424
          column: 3
          function: gate3_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 512
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 513
          column: 12
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 441
          column: 3
          function: voter
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 470
          column: 37
          function: voter
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 166
          column: 3
          function: write_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 470
          column: 37
          function: voter
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 513
          column: 12
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 520
          column: 17
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 249
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 252
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 255
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 260
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 261
          column: 36
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 127
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 130
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 261
          column: 36
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 262
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 263
          column: 38
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 137
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 140
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 263
          column: 38
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 264
          column: 5
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 265
          column: 40
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 146
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 147
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 150
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 265
          column: 40
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 266
          column: 7
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 268
          column: 42
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 268
          column: 42
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 269
          column: 9
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 272
          column: 42
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 272
          column: 42
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 273
          column: 9
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 276
          column: 42
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 276
          column: 42
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 277
          column: 9
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 280
          column: 9
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 294
          column: 9
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 300
          column: 37
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 110
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 300
          column: 37
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 301
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 320
          column: 37
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 320
          column: 37
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 321
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 520
          column: 17
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 521
          column: 15
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 533
          column: 3
          function: assert
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 521
          column: 15
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 508
          column: 3
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 510
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 344
          column: 37
          function: gate1_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 181
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 344
          column: 37
          function: gate1_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 345
          column: 3
          function: gate1_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 351
          column: 3
          function: gate1_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 362
          column: 3
          function: gate1_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 510
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 511
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 375
          column: 37
          function: gate2_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 181
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 186
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 375
          column: 37
          function: gate2_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 376
          column: 3
          function: gate2_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 511
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 512
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 406
          column: 37
          function: gate3_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 181
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 186
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 191
          column: 3
          function: write_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 406
          column: 37
          function: gate3_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 407
          column: 3
          function: gate3_each_pals_period
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 512
          column: 29
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 513
          column: 12
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 441
          column: 3
          function: voter
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 470
          column: 37
          function: voter
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 166
          column: 3
          function: write_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 470
          column: 37
          function: voter
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 513
          column: 12
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 520
          column: 17
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 249
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 260
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 261
          column: 36
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 127
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 130
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 261
          column: 36
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 262
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 300
          column: 37
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 110
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 300
          column: 37
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 301
          column: 3
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 302
          column: 38
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 106
          column: 3
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 107
          column: 5
          function: read_history_int8
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 302
          column: 38
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 303
          column: 5
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 304
          column: 40
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 127
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 130
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 304
          column: 40
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 305
          column: 7
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 306
          column: 42
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 137
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 140
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 306
          column: 42
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 307
          column: 9
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 308
          column: 44
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 126
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 136
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 146
          column: 3
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 147
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 150
          column: 5
          function: read_history_bool
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 308
          column: 44
          function: check
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 309
          column: 11
          function: check
        action: follow
  - segment:
    - waypoint:
        type: function_return
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 520
          column: 17
          function: main
        action: follow
  - segment:
    - waypoint:
        type: function_enter
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 521
          column: 15
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 533
          column: 3
          function: assert
        action: follow
  - segment:
    - waypoint:
        type: target
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.c
          file_hash: d6dd7af8c681da9a32811252853803422c95f4df19741eb4bc23f2d0511fe647
          line: 535
          column: 13
          function: assert
        action: follow
