Function assert_letrec_major

pub(crate) fn assert_letrec_major(expr: &MirRelationExpr)

Asserts that expr in “LetRec-major” form.

This means expr is either LetRec-free, or a LetRec whose values and body are LetRec-major.