This function returns a goal that limits the exploration of the search tree defined by goal with the limit indicated by searchLimit. All nodes explored after that limit has been met are discarded.