let assignable = function | D.Aloc( te , loc ) -> assignable_loc te loc | D.Arange( te , loc , rg ) -> assignable_range te loc rg