Invalid conditions on If in Sequential don't seem to properly drive X on receivers #634
Description
Describe the bug
For example, in the RegisterFile in rohd-hcl, if wrPort.en and wrPort.addr are x, then the whole memory should be xed out. However, it appears that doesn't happen. This is not sufficiently pessimistic. The implementation in ROHD appears to consider this already, but there must be some subtle bug here.
To Reproduce
No response
Expected behavior
No response
Actual behavior
No response
Additional: Dart SDK info
No response
Additional: pubspec.yaml
Additional: Context
No response