Fix space leak in conflict counting.

This is an edge case. If there is only ever one choice for the next goal, the
solver never evaluates the conflict count map. Additions to the map create a
growing thunk.