let stmt_can_reach = REACH.stmt_can_reach