Refactor: add a CFGraph class to compute various control flow algorithms