Added pragma in BNF.