hoopl-3.8.7.3: A library to support dataflow analysis and optimization