}
messages.addAll(nextElement.verify());
}
for (Iterator iterator = _localVariables.values().iterator(); iterator.hasNext();) {
YVariable var = (YVariable) iterator.next();
messages.addAll(var.verify());
}
//check that all elements in the net are on a directed path from 'i' to 'o'.
messages.addAll(verifyDirectedPath());
return messages;
}