An `<exception>` tag should be added for each contract on a member. This should probably be done by a separate rewriter than can handle all contracts.