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