Description
Author Name: Stefan Wallentowitz (@wallento)
Original Redmine Issue: 1646 from https://www.veripool.org
Original Assignee: Stefan Wallentowitz (@wallento)
I think that $bits currently only works for fixed size expressions. For queues I have not implemented it yet as it may require to iterate all elements when $bits are used. I want to find a good way to implement this, plus check for other expressions if the standard (IEEE 1800-2017, 20.6.2) is properly implemented.