pub fn occ_analysis(expr: &CoreExpr) -> OccMap
Count occurrences of all variables in the expression. Binding sites (in Lam, Let, Case, Join) are NOT counted as occurrences. Only Var(v) nodes (variable use sites) are counted.