unit-clause propatation in conjunctions and disjunctions of acceptance
Issue #320 (closed) shows an example of acceptance condition that is simplified to (Fin(0) | Inf(1)) & (Fin(2) | Inf(1)) & Fin(0)
.
It would be better if that condition was further simplified to (Fin(2) | Inf(1)) & Fin(0)
. It should be doable by just adding some kind of unit-clause propagation among conjunctions or disjunctions.