pub fn IsSafe(E: &Expr, MaxSize: usize) -> bool
Returns true when E is safe to substitute at its single use site, considering only the expression itself (size and unsafe).