let delete_in_aggregation (name0 : string) (value : string) (name : string) (var : string) : unit =
          delete_in_set name0 value name var;
        delete_in_list name0 value name var