bison file has ast specifications