debugged the computation of the start solutions at the leaves of the
intersection solution poset