Function is_amount_plus_fee 

fn is_amount_plus_fee(
    expr: &Expr<'_>,
    amount: VariableId,
    fee: VariableId,
) -> bool

True when expr is amount + fee or fee + amount, parens-tolerant.