Utility library for analysis of Control Flow Graphs with things such as Region Analysis - View it on GitHub