QF_UFLIA_SETS: generate sets layer (union/intersection etc.)
dejans patch for divbyzero and decalre-sort