let
assignable_loc _te loc =
match
loc
with
|
Model
.
Loc
(x,d)
->
Avar
(x,d)
|
Model
.
Addr
p
->
Aaddr
p