macro_rules! assert_ne { ($lhs:expr, $rhs:expr) => { ... }; }
Mimicking assert_ne that takes inputs of AsRef<dag::Bits>. This checks for bitwidth equality.
assert_ne
AsRef<dag::Bits>