First bnf-files + test of them