fn sum_operands( gcx: Gcx<'_>, expr: &Expr<'_>, ) -> Option<(VariableId, VariableId)>
a + b with both operands variables.
a + b