https://5dok.net/document/dzx4vl4y-towards-rigorously-faking-bidirectional-model-transformations.html