prove infinity_has_model_gen

allows specifying what we want the indset to be