grammar::Analysis should work now (but needs more work)