…lint#731)

* Added basic test cases for changed variable names.

* Rename detection works for simple cases

* Rename detection for method parameters, too

* Renaming of method params should work now.

* Renaming of results does work for the log files.

* Added multiple incremental runs test

* Renamed local vars are now also shown in g2html.

* Added incremental aware print statements and replaced traditional print statements with those in many places

* Renamed variable names are now displayed with their new name in g2html

* Cleanup print statements and added some docu.

* Renamed context to rename_mapping

* Replaced rename mapping lists with Hashtbls for increased performance

* cleanup print statements and code.

* cherry picked context -> rename mapping

* Replaced rename mapping lists with Hashtbls for increased performance

* Old locals are now renamed to the new local names.

* Fixed duplicate id tests

* Moved multiple incremental run tests to subdirectory.

* Removed unused currentFunctionName global state.

* Removed nothing test case

* Added include assert to tests. Removed useless test.c

* Replaced tupletostring with fancy syntax.

* Hashtbl.add is now replaced by Hashtbl.replace in many places.

* List optimization.

* method_rename_assumptions now uses varinfo map instead of string hashtable.

* Removed RenameMapping.

* Added documentation to tests in 04-var-rename

* Add comment to test-incremental-multiple.sh

* Removed syntactic noise introduced by addition and removal of RenameMapping

* Removed diffs directory in tests/incremental/04-var-rename

* function parameter names are now also updated. Cleanup code.

* eqF now uses empty rename mapping for header comparison.

* CFG comparison now verifies locals again.

Pass Escaped Locals to Callee as They Need to Be Considered Globals

Modify Library Function Specification for assert to not dereference its argument

Co-authored-by: Julian Erhard <julian.erhard@yahoo.de>

Remove erroneous call to `truncateCilint` in `min_for`

OCaml's `let*` instead of `ocaml-monadic` ppx

Co-authored-by: Simmo Saan <simmo.saan@gmail.com>

Cleanup reporting of dead code

Categorize Remaining Warnings

Unused since the removal of FlagModes in goblint#736.

Fix `get_ikind` in `eval_rv_ask_mustbeequal` and `is_safe_cast`