let hvar=Hashtbl.create 50 in (* la table des variables des inéquations *)
List.iter (fun f ->
Hashtbl.iter (fun x c ->
- try (Hashtbl.find hvar x;())
- with _-> nvar:=(!nvar)+1;
+ try ignore(Hashtbl.find hvar x)
+ with Not_found -> nvar:=(!nvar)+1;
Hashtbl.add hvar x (!nvar);
debug("aggiungo una var "^
string_of_int !nvar^" per "^