Scan test

Tobias Müllerrequested to merge
scan_test into main

Created by: dominikkiese

Improved scanning routine and fixed some minor bugs. In some cases, redundant arguments were removed. Further solver optimizations were added.

Merge request reports