the main function of this module, that is called from the outside it calculates the assumption for "root" inside "f", up to the "stop_at" vertex (stop_at is usually in the middle of the function, at the exact point, when we need an assumption, and if he have to traverse the function body, we start analyzing from the start and finist at stop_at)
source not stored for this graph (policy: none)
no test coverage detected