More precisely, it can show you "all" the places where I have to rework. And, since it is very likely that other pieces of the software will need to be change,

More precisely, it can show you "all" the places where I have to rework. And, since it is very likely that other pieces of the software will need to be change, it's crucial that is does it recursively. The compiler can do that ; I'm not aware of how spec could do that. Framing it as "all the compiler can do" us a bit weird - that's _exactly_ the thing I need.