found: ('status -> cic_term -> 'status * cic_term) ->
postprocess: ('status -> cic_term -> 'status * cic_term) ->
cic_term -> tactic_term option * NCic.term ->
'status * cic_term
found: ('status -> cic_term -> 'status * cic_term) ->
postprocess: ('status -> cic_term -> 'status * cic_term) ->
cic_term -> tactic_term option * NCic.term ->
'status * cic_term