Add the fixpoint algorithm in an other file. We  have to integrate this piece of code on Sunday