WYCS: added support for inferring that the length of a set is always an integer greater than zero.