Backtracking yacc