Function finish_root_evaluator_normalisation 

pub fn finish_root_evaluator_normalisation(
    root: &Expression,
) -> Option<Expression>

Finishes evaluator normalisation on the model root after rewriting completes.

Applies local root-list partial evaluation to a fixpoint (strip true, propagate false, flatten top-level and). Deep evaluation of individual constraints already runs during rewriting via normalise_evaluator_local / normalise_root_selective_deep_expr; this finish pass must not be inlined into the mid-loop Root hook because flattening and early explodes worklist size on large expansions.