public void testWhileLoop() {
ActivityInstanceVerification verifier = new ActivityInstanceVerification();
TransitionInstanceVerifyer transitionVerifier = new TransitionInstanceVerifyer();
PvmProcessDefinition processDefinition = new ProcessDefinitionBuilder()
.createActivity("start")
.initial()
.behavior(new Automatic())
.executionListener(ExecutionListener.EVENTNAME_START, verifier)
.executionListener(ExecutionListener.EVENTNAME_END, verifier)