Work repository for the incremental IFDS solver