Abstract The local solver TD is a generic fixpoint engine which explores given system of equations on demand. It has been successfully applied to the interprocedural analysis procedural languages. gains efficiency by detecting dependencies between unknowns fly. This algorithm recently extended deal with widening and narrowing as well. In particular, it equipped an automatic detection points. Th...