const WHOLE_CFG_PATH_LIMIT: usize = 4000;
Maximum number of whole-CFG paths collected before stopping enumeration.