Function eliminate_fee_excess_checked

fn eliminate_fee_excess_checked<'a>(
    (fee_token_l, fee_excess_l): (&'a TokenId, Fp),
    (fee_token_m, fee_excess_m): (&'a TokenId, Fp),
    (fee_token_r, fee_excess_r): (&'a TokenId, Fp),
    w: &mut Witness<Fp>,
) -> ((TokenId, Fp), (TokenId, Fp))