Function canonicalize_expr 

pub fn canonicalize_expr(
    expr: &Expr,
    ctx: &CanonicalisationContext,
) -> (Expr, CanonicalisationStats)

Canonicalize one expression against ctx. Returns the rewritten Expr plus the stats.