| Cic.Variable (_, body, ty, params, _)
| Cic.Constant (_, body, ty, params, _) ->
let pos = `MainConclusion (Some (Eq (depth_offset params))) in
| Cic.Variable (_, body, ty, params, _)
| Cic.Constant (_, body, ty, params, _) ->
let pos = `MainConclusion (Some (Eq (depth_offset params))) in