rewrite_m
e = expr_alloc_one(E_NOT, rewrite_m(e->left.expr));
rewrite_m(e->left.expr),
rewrite_m(e->right.expr));
basedep = rewrite_m(menu->dep);
dep = rewrite_m(prop->visible.expr);