set logic to ALL_SUPPORTED for CVC4
replace the hardcoded logic AUFBVDTFPNIRA by ALL_SUPPORTED
this requires:
- fix the driver for the built-in sqrt function on real numbers
- decide from which version of CVC4 this is accepted. Maybe only from version 1.7