Early-Elimination Modification for Priority-First Search Decoding