expr_alloc_one
e = expr_alloc_one(E_NOT, expr_alloc_symbol(e->left.sym));
e = expr_alloc_one(E_NOT, e->left.expr);
e = expr_alloc_and(expr_alloc_one(E_NOT, e->left.expr->left.expr),
expr_alloc_one(E_NOT, e->left.expr->right.expr));
e = expr_alloc_or(expr_alloc_one(E_NOT, e->left.expr->left.expr),
expr_alloc_one(E_NOT, e->left.expr->right.expr));
e = expr_alloc_one(E_NOT, e);
e = expr_alloc_one(E_NOT, e);
e = expr_alloc_one(E_NOT, e);
return expr_alloc_one(E_NOT, e);
return expr_alloc_one(E_NOT, e);
struct expr *expr_alloc_one(enum expr_type type, struct expr *ce);
e = expr_alloc_one(E_NOT, rewrite_m(e->left.expr));
| T_NOT expr { $$ = expr_alloc_one(E_NOT, $2); }