ind_gen function

Inductive Generation Procedure