Modelgen can now generate set tests.