strange assertion fail in integration-tests/utils.cc when parsing

[kilohsakul]

          Probably don't commit this at all and keep your repo dirty.

Originally posted by @tfiedor in #344 (comment)

I uncommenting that assert in uitils.cc in integration-tests, but could you look at it, @tfiedor ?
Maybe it should not failing when you run bench-bool-comb-cox-inter.cc,
/home/experiments/nfa-bench/benchmarks/bool_comb/cox/diff_unsat-1000-lhs.mata,/home/experiments/nfa-bench/benchmarks/bool_comb/cox/diff_unsat-1000-rhs.mata;11.617