fixed a block sub bug. (only one child at the block node)

implemented nondeterministic sequence substitution. All solutions are found now. test passes