Add state prioritization by visit count for the program location
Add state prioritization by location visit count
Add LocationSortedWaitlist and option 'analysis.traversal.useLocationVisitCount' to prioritize the ARG state with the least count of visits of the same location in the program.
In practice, the analysis will only traverse any location once, until all program locations are visited (and then can be visited the second time). If analysis reaches the time limit, it likely has visited locations and unrolled loops only once.
Edited by Петров Олег Максимович