Function parse_interval_predicates 

fn parse_interval_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    value: &Expr,
    range: &Expr,
) -> Option<Vec<NumericPredicate<'tcx>>>