The abstraction mode of oaisim does not work for the moment, it's better to exit than to crash somewhere randomly.
