YSetOfMarkings markingSet = currentlyConsideredMarking.reachableInOneStep(task, orJoin);
while (markingSet.size() > 0) {
YMarking aMarking = markingSet.removeAMarking();
if (aMarking.isBiggerEnablingMarkingThan(actualMarking, orJoin)) {
return false;
} else if (aMarking.deadLock(orJoin)) {
continue;
}
boolean skip = false;
for (Iterator markingsIterator = markingsAlreadyConsidered.getMarkings().iterator();
markingsIterator.hasNext() && !skip;) {