let assignable_sizeof = function
    | F.Aloc( te , _ ) -> sizeof te
    | F.Arange( te , _ , {F.inf=Some l;F.sup=Some h} ) ->
        n_size (cardinal l h) te
    | F.Arange _ -> unsupported "infinite range for array"