new query for iterate

query is_reverse_interval_right_maximal added to iterate