if type(stmt) == goto_t and stmt.is_known():
      if stmt.expr.value in function.blocks:
        next = function.blocks[stmt.expr.value]
        loop_t.visit(function, next, loops, visited, context[:])