let
valid mem z =
let
r = range_of_assignable z
in
model_valid mem.alloc r