modified search to be more flexible: now strategies are selectable at
call time