- let (_, lit, vl, proof),_ = Terms.get_from_bag id bag in
+ let (_, lit, vl, proof),_,_ = Terms.get_from_bag 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,_) ->