Not reliably, no. Python is too dynamic to do that kind of thing without solving general program equivalence which is undecidable.

Use a static language, problem solved.