Made genrestr -constr to produce constraints of type 2 that do not generate