code: def _stmt_inside_loop(self, stmt_idx):
          
  
          # TODO: This is slow. Fix the performance issue
  
          for node in self.loop.body_nodes:
              if node.addr.stmt_idx <= stmt_idx < node.addr.stmt_idx + node.size:
                  return True
          return False
docs: Test whether a statement is inside the loop body or not.
  
          :param stmt_idx:
          :return: