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