Cvc4 bug fix and logger bug fix.