If I would ATPG, I would try to avoid it.
If you agree for small bend of rules, then there would inevitably be a little larger one, and the next, and next... and we will finish without those rules