https://123dok.net/document/yev1d7je-symbolic-execution-satellite-control-procedures-graph-transformation-ecosystems.html