if stmt.true.value in function.blocks:
        next = function.blocks[stmt.true.value]
        loop_t.visit(function, next, loops, visited, context[:])