Fixes #4219: change aspect of directives not used by any rule
Merge pull request #379 from fanf/ust_4208/dev_4219_change_aspect_of_directive_with_no_rules_in_directiveTree

Fixes #4219: change aspect of directives not used by any rule