Function numeric_term_from_operand 

fn numeric_term_from_operand<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    operand: &Operand<'tcx>,
) -> Option<NumericTerm>

Convert a MIR operand into the planner’s small numeric term language.