Return empty set instead of throwing exception, so that property assertion generator works.#239