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)