Fixed bug in benchmark grammars to use DIV instead of PDIV