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.
La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
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.