today: more work on formal verification currently I am trying to find out how to solve the following thing, I think it is a bug in nmigen. Object (rec <unnamed> data en) cannot be used as a key in value collections