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