fn constraint_cache_key(constraints: &[BoolExpr]) -> Vec<BoolExpr>
Returns a structural key for normalized solver cache lookups.