https://1library.org/document/qm00054y-evolution-negative-application-conditions-second-order-graph-rewriting.html