WyC: another bug fix, this time for empty set expressions.