pub fn sva_exprs_structurally_equivalent(a: &SvaExpr, b: &SvaExpr) -> bool
Check if two SvaExpr trees are structurally equivalent.