Introduce a custom In_ind induction rule