fn default_apply_cache_capacity() -> usize
Function to get default apply cache capacity for the BDD manager