Add new local reasoning function. Now the command more will lead to a new reasoning section, which allows the user dig into the local subtask.