use --trace-sates in its-reach calls
without the option --trace-states, the final states given by its-reach are not restricted to the states reached by the given witness, but instead all reachable final states
--trace-states resolves the issue
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
without the option --trace-states, the final states given by its-reach are not restricted to the states reached by the given witness, but instead all reachable final states
--trace-states resolves the issue