We report about a new model generator which automatically creates well-formed instance models that satisfy consistency