Fix interpreter for undefined reference
Since the interpreter runs on the original model, it did not benefit from the control of undefined values as an abs2abs transformation. Now, it is included directly in the interpreter.
[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
Since the interpreter runs on the original model, it did not benefit from the control of undefined values as an abs2abs transformation. Now, it is included directly in the interpreter.