pub fn beta_normalize_fueled(expr: &Expr, fuel: u32) -> (Expr, u32)
Perform fueled beta normalization.
Returns (normalized_expr, remaining_fuel).
(normalized_expr, remaining_fuel)