Signal an infinite loop if either:
we see a call to the same method with the same parameters, or
we see a call to the same (dynamically dispatched method), and there
has been no transfer of control.
Mark whether or not implicit exception edges should be
ignored by ResourceValueAnalysis when determining whether or
not stream is closed on all paths out of method.
An implementation of BugCollection that keeps the BugInstances
sorted by class (using the native comparison ordering of BugInstance's
compareTo() method as a tie-breaker).