EI: add test for extension with BNF from Jeffrey, skipping at the moment