Producting assumption game has been proven don't work.
Start new hueristic base algo, backward BFS+ longest path+ resynthesis.
Change AssumptionCandidates from String to new class.