Tests for
- device.hbefa.deterministic

- device.hbefa.knownveh divided by ';'
- negative device.hbefa.probability