Bug fix in k induction with cvc4.