A simple but realistic model, where nodes may have an order and may be part of uneven graphs.
This model is derived from simple_model_tests.model and so are the wrappers (see there for a full description of the
wrapper mechanism and the use of a node factory).