InterpM.IStore
val find_opt : Ail_tys.sym -> (Store.binding option, 'a, 'b) Soteria.Symex.Compo_res.t SSM.t