Add a CFG analysis for Python