let model_access_range: store -> dzone  -> F.abstract =
    F.e_app2 "access_range"