def __init__(self, value, options):
    if (not isinstance(options, ir.Expr)):
        if util.any_of(options, ir.Expr):
            options = ir.sequence(options)
        else:
            options = frozenset(options)
    super().__init__(value, options)
def __init__(self, value, options):
    if (not isinstance(options, ir.Expr)):
        if util.any_of(options, ir.Expr):
            options = ir.sequence(options)
        else:
            options = frozenset(options)
    super().__init__(value, options)