let is_a_set (var : string) : bool = 
        let type_of_var = get_type var in
        ("set")=type_of_var  ||
                (let d = decompose type_of_var in
                        (d<>[]&&(car d)="set"))