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