Nyckelord Witness Elimination