It seems that terminal_list doesn't need to be an ambiguous root.