Added tests for generation of set comparison when comparing to the empty set