Bugfix: DUTs defined by the testbench are read correctly