grammar: remove useless production expr_final