occurs_check_reverse_order(ok).