let expAreEqual e1 e2 = 
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* Ici, pour les tests on lit s1 et s2, amis il faudrait dereferencer comme suit : 
                          PIndexedExp (s) -> Data_for_ltl.get_str_exp_from_tmpident s
                Ou bien 
                       PIndexedExp (s) -> Data_for_ltl.get_exp_from_tmpident s
             *)

             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
             (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(*   (String.compare e1 e2)=0 *)
  let s1,s2 = (get_str_exp_from_tmpident e1),(get_str_exp_from_tmpident e2) in
  (String.compare s1 s2)=0