void set_no_adjacent_duplicates(int(0..1) i)
Change how the History object should treat two identical values in a row. If 1 than only unique values are allowed after each other.
query_no_adjacent_duplicates