clean up in util/lcmseq.v

Sergey Bozhko requested to merge sbozhko/rt-proofs:clean_up into master Sep 17, 2021