This list generator is wrapped in 2 levels of brackets, which means the call to `len()` will always return 1, looks like a mistake. https://github.com/chipsalliance/riscv-dv/blob/7e54b678ab7499040336255550cdbd99ae887431/pygen/pygen_src/isa/riscv_cov_instr.py#L365