Symbol: get_committing_sequence_number