Synthesis of Incremental Operations - View it on GitHub