YNet deadNet = new YNet("aNetName", spec);
YVariable v = new YVariable(null);
v.setName("stubList");
v.setUntyped(true);
v.setInitialValue("<stub/><stub/><stub/>");
YCaseData casedata = new YCaseData();
deadNet.initializeDataStore(null, casedata);
deadNet.setLocalVariable(v);
deadNet.initialise(null);
_aCondition = new YCondition("c1", deadNet);
_validTask = new YAtomicTask("et1", YTask._AND, YTask._OR, deadNet);