Add toZero promotion in priority proof