Fixed exception handling on the model-checker integration.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf