test against grammar made unambiguous via assoc
rule and symbol utility functions