menu_add_symbol
void menu_add_symbol(enum prop_type type, struct symbol *sym, struct expr *dep);
menu_add_symbol(P_SELECT, $2, $3);
menu_add_symbol(P_IMPLY, $2, $3);
menu_add_symbol(P_DEFAULT, $2, $3);