skeleton.getSkeleton().accept(subStackBuilder);
@SuppressWarnings("rawtypes")
Skeleton[] straceArray = getStraceAsArray();
stack.push(new DaCInst(skeleton.getCondition(), skeleton.getSplit(), subStackBuilder.stack, skeleton.getMerge(), straceArray, parent));
}