WyC: added support for parsing throw statements.