Inlined the 'iteratebytecode' method from BoundAnalyzer to Analyzer.