CIF data-based synthesis 'Edge workset algorithm' option refers to wrong name of its replacement option

It refers to the 'Exploration strategy for symbolic reachability computations' option, but the new option is actually named 'Exploration strategy'.