element contains [...] _D contains Fb_A : Single [...] _B contains Dut_A :

. The GVL contains [...] contains the declaration [...] . The GVL contains

that contains this end state

. The existing DUT contains [...] . The first DUT contains

contains the properties

contain the algorithms

contain any guard

contains configuration

that are contained in the Devices

-orthogonal state can contain