element contains [...] _D contains Fb_A : Single [...] _B contains Dut_A :
. The GVL contains [...] contains the declaration [...] . The GVL contains
. The existing DUT contains [...] . The first DUT contains
that contains this end state
contains the properties
contain the algorithms
no longer contains
: Fb_D contains Fb
contains configuration
contain any guard