Updating EUDEInterpreter