WYCS: added support for RangeOf operator.