Refactor/move abstract interpreter functionality into goto analyzer 1#7120

Open

martin-cs wants to merge 4 commits intodiffblue:developfrom

martin-cs:refactor/move-abstract-interpreter-functionality-into-goto-analyzer-1

Commits on Sep 11, 2022

Explicitly mark some options as legacy and suggest modern versions
martin
committed
Move --dependence-graph to goto-analyzer
martin
committed
Move --show-intervals to goto-analyzer
martin
committed
Move --constant-propagator to goto-analyzer
martin
committed