WyC: added support for try-catch blocks.