Deprecated.- use CheckForNull instead; the name of which more clearly indicates that
not only could the value be null, but that good coding practice requires that the
value be checked for null.
Remove obviously infeasible exception edgges, and mark all exception
edges of a CFG to indicate
if they can throw a checked exception, and
if they throw "explicit" exceptions (thrown via ATHROW or
from a called method which explicitly declares thrown exceptions)
finds public classes that use 'this' as a semaphore, which can cause conflicts if clients of this
class use an instance of this class as their own synchronization point.