let in_aggregation (name0 : string) (value : string) (name : string) (var : string) : bool =
         (in_set name0 value name var) || (in_list name0 value name var)