fix bnf extension
remove old test
adapt to new extension syntax