user_rl_treat_untagged
user_rl_treat_untagged(expr) ? "[u]" : "");
if (user_rl_treat_untagged(expr->left))
if (user_rl_treat_untagged(expr->right))