fn collect_cache_key_conjunct(expr: BoolExpr, out: &mut Vec<BoolExpr>)
Collects cache-key conjuncts, flattening conjunctions because path constraints are conjunctive.