Update no_witnesses.txt

last else is obsolete, cause that condition cannot be reached.