pub fn usage_counts(expr: &LcnfExpr) -> HashMap<LcnfVarId, usize>
Count how many times each variable is referenced in an expression.