Source: https://marghrid.github.io/docs/FOREST_An_Interactive_Multitree_Synthesizer_for_Regular_Expressions.pdf