@Override
public int getPropagationConditions(int vIdx) {
return SetEventType.all();
}
@Override
public int getPropagationConditions(int vIdx) {
if (vIdx == 0) return SetEventType.all();
else return IntEventType.boundAndInst();
}