Add script to patch old symbooglix results when boogie-runner classified hitting speculative paths as BOUND_HIT. This was a bad idea so this script changes those results to UNKNOWN but note we have the ``speculative_paths_nb`` attribute so that can be used to find the results where symbooglix hit speculative paths.
Add script to patch old symbooglix results when boogie-runner classified
hitting speculative paths as BOUND_HIT. This was a bad idea so this
script changes those results to UNKNOWN but note we have the
``speculative_paths_nb`` attribute so that can be used to find the
results where symbooglix hit speculative paths.

symbooglix/boogie-runner,symbooglix/boogie-runner