Keyword Witness Elimination

Keyword Witness Elimination