The trick with boundaries does not stand true for evasive predicates on unbounded data. Please note that suggested odd perfect number search algorithm in Pytho

The trick with boundaries does not stand true for evasive predicates on unbounded data. Please note that suggested odd perfect number search algorithm in Python uses an evasive predicate on a big integer which is unbounded. This means that a typical tracer (or verifier in Turing terms) won't be able to infer the upper bound for the given example.