===> Cleaning for cvc5-1.4.0