return void for build_reasoning_tree