fn simplify_right_is_one_case<S: SimplifyInfo>(
info: &S,
left: Box<Expr>,
op: &Operator,
right: &Expr,
) -> Result<Transformed<Expr>>fn simplify_right_is_one_case<S: SimplifyInfo>(
info: &S,
left: Box<Expr>,
op: &Operator,
right: &Expr,
) -> Result<Transformed<Expr>>