The goal is to implement the method described in Engineering a Compiler, 3rd edition, which is based on papers by Sreedhar and Boissinot.