- | Cic.Variable (_, body, ty, params, _) ->
- let metadata_of_vars =
- List.flatten
- (List.map (compute_var (next_pos pos)) params) in
+ | Cic.Variable (_, Some _, _, _, _) -> S.empty
+ | Cic.Variable (_, None, ty, params, _) ->
+ let var_metadata =
+ List.fold_left
+ (fun metadata uri ->
+ S.union metadata (compute_var (next_pos pos) uri))
+ S.empty
+ params
+ in