Made the usage of "one-step-recovery" in the strategy extraction for realizable specifications optional (can be controlled by options).