Handled
if (expr->smatch_flags & Handled)
left->smatch_flags |= Handled;
right->smatch_flags |= Handled;