Function conv_predicate 

fn conv_predicate<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    pair: Pair<'_, Rule>,
) -> Option<NumericPredicate<'tcx>>