Each turn we choose the state with maximum correctness likelihood and try all possible transitions by each operation.
the connect and merge operations try every pair of nodes in current state as the two operate nodes, while the expand and fold operations try each node as the operate node.