Fixing data-flow problems in expression trees.
This should be useful if you want to write optimizations
for your favorite programming language.
See the Tutorial module for an introduction. After that,
you might want to take a look at the examples/ folder
in the repository.