Fix a bug causing premature defeatism in the Bridges solver. Deducing