Producting assumption game has been proven don't work.
Start new hueristic base algo, backward BFS+ longest path+ resynthesis.