Add subterm induction