Finished prioritization, still cleaning constraint store