===> Cleaning for cvc5-1.3.4