added missing parameter in test-main
added EBNF