// If any under-approximate component is not BOT, then we have a witness
// and this is a MUST edge.
DualCompositeState dcs = (DualCompositeState)a;
for (int i = 0; i < dcs.numComponents(); i++) {
AbstractState componentState = dcs.getComponent(i);
if (componentState instanceof UnderApproximateState &&
!componentState.isBot()) {
edgeKind = Kind.MUST;
break;
}
}