OpSem for SepLogic. Decorated exception example.
Merge branch 'master' of https://github.com/terkill/AMP
ex=None in exception example