Eliminate SetDirective, and replace it with HasSetDirective.