Function eval_binary_values_with_engine 

pub fn eval_binary_values_with_engine(
    op: BinaryOp,
    l: &Value,
    r: &Value,
    integer_width: Option<IntegerWidth>,
    engine: Option<&dyn EngineHook>,
    control: &ProductionControl<'_>,
) -> Result<Produced<Value>>

Evaluate already produced operands with their selected integer width and live session inputs.