let which_states ?(create = true
                 (e  : 's epsilon) 
                 (s1 : 's) : 's hashset = 
  try Hashtbl.find e s1 
  with Not_found ->
    if create then 
      let newset = Hashset.create def_eps_size in
        Hashtbl.replace e s1 newset;
        newset
    else
      (Hashset.create 0)