Ruediger's updates to strategy extraction