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