let get_assignment (a : assignment) (l : trans_list ref ref) (alt : state) : transition = let id = fst !(!l) in try Hashtbl.find a id with Not_found -> (alt,alt)