Update util__post_precedence.pl