let visit_until_convergence visitor file = change := true; while !change do change := false; visitFramacFile visitor file; done