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)