WyC: added support for parsing requires / ensures / throws clauses for functions or methods.