let
model_range_of_ptr =
F
.e_app2
"range_of_ptr"