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.