Quelques petits trucs

Fix un cas oublié dans fixpoint (une fonction appelée plusieurs fois avec la même stack, mais à des endroits différents de la fonction) et un le coup des fonctions externes qui n'ont pas un subgraph correct.

Sinon pour tester, j'ai mis une option -dot à main pour générer un dot du graphe de sortie.
et regardes donc le dot de sortie de test_int, il es mignon tout plein.