pub fn check_structural_equivalence( sva_a: &str, sva_b: &str, ) -> Result<bool, HwError>
Check structural equivalence between two SVA expressions.