Keyword Witness Elimination