t._in.d[1].t t.vtree_test.ct.in[2] t._in.d[2].f t._in.d[3].t t._in.d[3].f t.vtree_test.ct.C3Els[0]._y t.vtree_test.ct.in[0] t._in.d[4].f t._in.d[0].f t._in.d[4].t t._in.d[0].t t.out t._in.d[1].f t._in.d[2].t t.vtree_test.ct.in[3] t.vtree_test.ct.tmp[6] t.vtree_test.OR2_tf[3]._y t.vtree_test.ct.in[1] t.vtree_test.ct.in[4] t.vtree_test.OR2_tf[4]._y t.vtree_test.OR2_tf[0]._y t.vtree_test.ct.C2Els[1]._y t.vtree_test.ct.C2Els[0]._y t.vtree_test.ct.tmp[5] t.vtree_test.OR2_tf[2]._y t.vtree_test.OR2_tf[1]._y 
[0] starting test true high
	         0 t._in.d[0].f : 0
	         0 t._in.d[4].t : 0
	         0 t._in.d[4].f : 0
	         0 t._in.d[3].t : 0
	         0 t._in.d[1].f : 0
	         0 t._in.d[3].f : 0
	         0 t._in.d[2].t : 0
	         0 t._in.d[0].t : 0
	         0 t._in.d[2].f : 0
	         0 t._in.d[1].t : 0
	         1 t.vtree_test.OR2_tf[4]._y : 1  [by t._in.d[4].f:=0]
	         2 t.vtree_test.OR2_tf[2]._y : 1  [by t._in.d[2].f:=0]
	       116 t.vtree_test.ct.in[2] : 0  [by t.vtree_test.OR2_tf[2]._y:=1]
	      1138 t.vtree_test.ct.in[4] : 0  [by t.vtree_test.OR2_tf[4]._y:=1]
	      4753 t.vtree_test.OR2_tf[1]._y : 1  [by t._in.d[1].t:=0]
	      7092 t.vtree_test.OR2_tf[3]._y : 1  [by t._in.d[3].f:=0]
	      8818 t.vtree_test.ct.in[3] : 0  [by t.vtree_test.OR2_tf[3]._y:=1]
	      8857 t.vtree_test.ct.C3Els[0]._y : 1  [by t.vtree_test.ct.in[3]:=0]
	      8872 t.vtree_test.ct.tmp[6] : 0  [by t.vtree_test.ct.C3Els[0]._y:=1]
	     10467 t.vtree_test.OR2_tf[0]._y : 1  [by t._in.d[0].t:=0]
	     10958 t.vtree_test.ct.in[0] : 0  [by t.vtree_test.OR2_tf[0]._y:=1]
	     70119 t.vtree_test.ct.in[1] : 0  [by t.vtree_test.OR2_tf[1]._y:=1]
	     70132 t.vtree_test.ct.C2Els[0]._y : 1  [by t.vtree_test.ct.in[1]:=0]
	     70172 t.vtree_test.ct.tmp[5] : 0  [by t.vtree_test.ct.C2Els[0]._y:=1]
	     70587 t.vtree_test.ct.C2Els[1]._y : 1  [by t.vtree_test.ct.tmp[5]:=0]
	     70607 t.out : 0  [by t.vtree_test.ct.C2Els[1]._y:=1]
	     70607 t._in.d[0].t : 1
	     70607 t._in.d[4].f : 1
	     70607 t._in.d[2].f : 1
	     70607 t._in.d[1].t : 1
	     70607 t._in.d[3].f : 1
	     70623 t.vtree_test.OR2_tf[2]._y : 0  [by t._in.d[2].f:=1]
	     70627 t.vtree_test.ct.in[2] : 1  [by t.vtree_test.OR2_tf[2]._y:=0]
	     70654 t.vtree_test.OR2_tf[4]._y : 0  [by t._in.d[4].f:=1]
	     76668 t.vtree_test.OR2_tf[0]._y : 0  [by t._in.d[0].t:=1]
	     76683 t.vtree_test.ct.in[0] : 1  [by t.vtree_test.OR2_tf[0]._y:=0]
	     79783 t.vtree_test.ct.in[4] : 1  [by t.vtree_test.OR2_tf[4]._y:=0]
	     84331 t.vtree_test.OR2_tf[3]._y : 0  [by t._in.d[3].f:=1]
	    114705 t.vtree_test.OR2_tf[1]._y : 0  [by t._in.d[1].t:=1]
	    127579 t.vtree_test.ct.in[3] : 1  [by t.vtree_test.OR2_tf[3]._y:=0]
	    127634 t.vtree_test.ct.C3Els[0]._y : 0  [by t.vtree_test.ct.in[3]:=1]
	    151636 t.vtree_test.ct.in[1] : 1  [by t.vtree_test.OR2_tf[1]._y:=0]
	    179287 t.vtree_test.ct.tmp[6] : 1  [by t.vtree_test.ct.C3Els[0]._y:=0]
	    181416 t.vtree_test.ct.C2Els[0]._y : 0  [by t.vtree_test.ct.in[1]:=1]
	    195265 t.vtree_test.ct.tmp[5] : 1  [by t.vtree_test.ct.C2Els[0]._y:=0]
	    220077 t.vtree_test.ct.C2Els[1]._y : 0  [by t.vtree_test.ct.tmp[5]:=1]
	    234420 t.out : 1  [by t.vtree_test.ct.C2Els[1]._y:=0]
[1] cleaning input
