Remove manual reachability from optimizer
wip
wip