Algorithm that enumerates all possible execution paths in a Python AST - View it on GitHub