let hash (sa: Atom.t) = Hashtbl.hash_param 50 100 sa