Some improvement to the maximally permissive strategy extractor for reachability objectives.