let
prop_of_loc p =
F
.p_not (
F
.p_bool (
M
.is_null p))