cvc4terminate infinite loop fix