unary negation operator ~ -> -
QF_UFLIA_SETS: generate set membership predicates