[wip] before reduction to regular grammars