pub fn estimate_expr_size(expr: &LcnfExpr) -> u64
Estimate the abstract instruction count of an LCNF expression.