Even if sets cannot be empty (cardinality constrained), z3 still sends back models with empty sets