fixed a small bug that prevents ResolveDesignators to be shown in task tree