- Function contracts: remove abrupt clauses from the list of exceptions
- Statement contracts: remove abrupt clauses from the list of exceptions
- Add grammar for abrupt termination
- Update list of contributors