Function sub_eval

pub fn sub_eval<F: FieldWitness>(
    e: &Operations<ConstantExprInner<F, BerkeleyChallengeTerm>>,
    ctx: &mut EvalContext<'_, F>,
) -> F

This function use to look like following but x.value has changed to accept list of challenges

let v = x.value(ctx.constants); if let ConstantExpr::Mul(_, _) = x { ctx.w.exists_no_check(v); }; v