> I think this is fundamentally impossible because of dynamic behaviours. I was thinking that too as it sounds awfully close to a variant of the halting proble

> I think this is fundamentally impossible because of dynamic behaviours. I was thinking that too as it sounds awfully close to a variant of the halting problem. But since I am not sure that it's actually equivalent, and there might be some heuristic that constrains the problem, in theory, to make it solvable "enough" I went with the softer "I don't know how to do it" rather than "it can't be done"