Add: yacc specification file