pub(super) fn replace_bindings_from_map(
    map: BTreeMap<LocalId, (MirRelationExpr, Option<LetRecLimit>)>,
    ids: &mut Vec<LocalId>,
    values: &mut Vec<MirRelationExpr>,
    limits: &mut Vec<Option<LetRecLimit>>,
)