return subengines.size() < settings.pdrMax && !properties.isEmpty();
}
private void spawnSubengine() {
String prop = properties.remove(0);
String scratch = settings.scratch ? getScratchBase() + scratchCounter++ : null;
<BUG>PdrSubengine subengine = new PdrSubengine(prop, spec, settings.slicing, scratch, this,

director);</BUG>
subengines.put(prop, subengine);
subengine.start();

return subengines.size() < settings.pdrMax && !properties.isEmpty();
}
private void spawnSubengine() {
String prop = properties.remove(0);
String scratch = settings.scratch ? getScratchBase() + scratchCounter++ : null;
PdrSubengine subengine = new PdrSubengine(prop, spec, scratch, this, director);
subengines.put(prop, subengine);
subengine.start();
