I don't understand what this transformation is used for. At first, I thought it was there for optimization but it seems that removing it from the driver makes
cvc4 1.5 fail on some files (
Am I misunderstanding the use of this transformation ? I think there may be a bug in the rest of the transformations used for CVC4 if not.