(**************************************************)
(* assoc_find properties                          *)
(**************************************************)

Lemma assoc_semfind_increase_1 :
forall (a : Tuple) (l l' : assoc),
assoc_eqm (assoc_find l) (assoc_find l') ->
assoc_eqm (assoc_find (a :: l)) (assoc_find (a :: l')).