How to find a DUT in alternation?