for (AbstractState t : otherStates) {
// TODO: Does not work correctly if BoundedAddressTracking returns more than
// one successor state.
if (t instanceof BasedNumberValuation) {
BasedNumberValuation exState = (BasedNumberValuation)t;
for (Map.Entry<RTLVariable, BasedNumberElement> entry :
exState.getVariableValuation()) {
RTLVariable var = entry.getKey();
BasedNumberElement exVal = entry.getValue();
if (exVal.isTop() || exVal.isNumberTop())
continue;
if (state.getVariableValue(var).isTop()) {