let add_in_aggregation (name0 : string) (value : string) (name : string) (var : string) : unit = add_in_set name0 value name var; add_in_list name0 value name var;