let add_set s1 s2 = e_app2 mk_radd s1 s2