WyC: added support for skip statements.