Search depth is now a parameter for run/4