FIXME solved: pruning at the end of solve() is not necessary anymore with the new pruning strategy