I thought I'd spend the rest of the afternoon penning my thoughts on metaphysics, epistemology and associated topics. Nah! Just kidding!

Our philosophy when it comes to PrintVerifier is that when in doubt DO NOT break. In other words, during the verification process if PrintVerifier detects a potential problem but is not 100% certain about the legality/seriousness of the problem, then no stop will be issued. PrintVerifier stops are very indicative of a real problem in the code being verified and need to be investigated.

PrintVerifier stop == There IS a problem

PrintVerifier stop != There MAYBE a problem