Refactored PotentialMatch class to be able to distinguish between 'proof of no solution' and 'no proof either way yet'.