Correct call of skip() for Inductives that don't define it.