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