let massigned = function | D.Aloc(te,l) -> D.Aloc(te,mloc_of_loc l) | D.Arange(te,l,rg) -> D.Arange(te,mloc_of_loc l,rg)