Identify where induction could be toggled off, but don't do it for CVC4