Function parse_let_or_letrec 

fn parse_let_or_letrec(
    ctx: &'_ Ctx<'_>,
    input: ParseStream<'_>,
) -> Result<MirRelationExpr>

Parses a Let or a LetRec with the new order: CTEs first in ascending order, and then Return.