Alternative to actual incremental mode
fix cvc4 options