Fixed a small error in the strategy verification script and updated documentation of the synthesis algorithm.