let massigned = function
| F.Aloc(te,l) ->
debug "massigned case loc : %a" pp_loc l;
F.Aloc(te,mloc_of_loc l)
| F.Arange(te,l,rg) ->
debug "massigned case range : %a becomes %a"
pp_loc l M.pp_loc (mloc_of_loc l);
F.Arange(te,mloc_of_loc l,rg)