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