Allow iteration on MUS
One new feature of release 2.3.0 is to compute minimal unsatisfiable subformulas. It is currently possible to compute on MUS. In some cases, it would make sense to compute all of them.
One specific iterator is needed for that purpose.