WyC: added support for parsing iff expressions.