Add tab completion for "induction" in prover