[e-acsl] replace usages of At_data.Set by At_data.t list

At_data.Set is no longer usable because comparison is no longer defined
(see previous commit). Therefore we rely here on hash tables which do
not require comparison.