}
@SuppressWarnings("rawtypes")
Skeleton[] straceArray = getStraceAsArray();
stack.push(new EventInst(When.AFTER, Where.SKELETON, straceArray, id, false, parent));
stack.push(new ForkInst(skeleton.getSplit(), stacks, skeleton.getMerge(), straceArray, id, parent));
stack.push(new EventInst(When.BEFORE, Where.SKELETON, straceArray, id, false, parent));
}