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