let stmt_can_reach _ _ = true