Symbol: verify_seq_sorted