THEN(a, node("x")); THEN(PRE(node("x1")), node("x2"), FINALLY(node("x3"))); WHEN(b, node("x")); IF(node("x"), a) IF(ifn1, node("x")) FOR(node("x")).DO(a); FOR(3).DO(node("x")); WHILE(node("x")).DO(a) ITERATOR(node("x")).DO(a) FOR(3).DO(a).BREAK(node("x")); SWITCH(node("x")).to(a,b); IF(AND(node("x"),ifn1), a); IF(OR(node("x"),ifn1), a); IF(NOT(node("x")), a); CATCH(THEN(a, d)).DO(node("x")) THEN( a, node("x1"), IF(node("x2"), b) ); IF( OR(node("x1"), ifn1), THEN(a, node("x2")) ); FOR(node("x1")).DO( THEN(b, node("x2")) ); WHEN( THEN(node("x1")), IF(node("x2"), b) ).maxWaitSeconds(10000); WHEN( node("x1"), IF(node("x2"), b) ).maxWaitSeconds(10000);