Better unify_targets using sync. it.

[kilohsakul]

Test bench-automata-inclusion.cc in integration-tests with

/nfa-bench/benchmarks/automata_inclusion/true-IBakery5PUnrEnc-Rev-FbOneOne-Nondet-Partiali-B-1-lhs.mata /nfa-bench/benchmarks/automata_inclusion/true-IBakery5PUnrEnc-Rev-FbOneOne-Nondet-Partiali-B-1-rhs.mata

[kilohsakul]

Lest just merge it and try to see why the advance takes time.

[codecov[bot]]

Codecov Report

Attention: 6 lines in your changes are missing coverage. Please review.

Comparison is base (ce1b3ba) 71.53% compared to head (b288936) 71.68%. Report is 1 commits behind head on devel.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## devel #360 +/- ## ========================================== + Coverage 71.53% 71.68% +0.14% ========================================== Files 30 30 Lines 3605 3617 +12 Branches 830 830 ========================================== + Hits 2579 2593 +14 + Misses 736 735 -1 + Partials 290 289 -1 ``` | [Files](https://app.codecov.io/gh/VeriFIT/mata/pull/360?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT) | Coverage Δ | | |---|---|---| | [include/mata/nfa/delta.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/360?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL25mYS9kZWx0YS5oaA==) | `93.44% <100.00%> (+3.03%)` | :arrow_up: | | [src/nfa/delta.cc](https://app.codecov.io/gh/VeriFIT/mata/pull/360?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-c3JjL25mYS9kZWx0YS5jYw==) | `82.74% <94.73%> (+0.64%)` | :arrow_up: | | [include/mata/utils/synchronized-iterator.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/360?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL3V0aWxzL3N5bmNocm9uaXplZC1pdGVyYXRvci5oaA==) | `82.02% <72.22%> (+1.07%)` | :arrow_up: |

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.