Fixed exception handling on the model-checker integration.