Modern reasoning models often perform a linearized tree search, enumerating possibilities in context before selecting one