switch smtlib2 logic to ALL to support floats