Analyze call graph
Branches solver
Quine