When recursion is detected, the method is considered not to throw any
bugs (as opposed to redirecting analysis to the handling of virtual
methods).