- let _, lit, vl, proof = Terms.M.find id bag in
+ let (_, lit, vl, proof),_ = Terms.M.find id bag in
let lit =match lit with
| Terms.Predicate t -> assert false
| Terms.Equation (l,r,ty,_) ->
let lit =match lit with
| Terms.Predicate t -> assert false
| Terms.Equation (l,r,ty,_) ->