let region_assigned = function
    | D.Aloc(te,loc) -> region_of_loc te loc
    | D.Arange(te,loc,rg) -> region_range te loc rg