WyC: added support for parsing assert, assume and break statements.