(List.fold_left (fun acc d ->
match position with
| `Conclusion ->
(match d with
| `Obj (name,`InConclusion)
| `Obj (name,`MainConclusion _ ) ->
(List.fold_left (fun acc d ->
match position with
| `Conclusion ->
(match d with
| `Obj (name,`InConclusion)
| `Obj (name,`MainConclusion _ ) ->