Induction option added to proof search