for (Literals::const_iterator effect = effects.begin(); effect != effects.end(); ++effect){
cerr << "Satisfied effect: " << *effect << endl;
_preconditions.erase(_preconditions.find(*effect));
}
cerr << "Number of preconditions left: " << _preconditions.size() << endl;
for (Literals::const_iterator effect = effects.begin(); effect != effects.end(); ++effect){
cerr << "Satisfied effect: " << *effect << endl;
_preconditions.erase(_preconditions.find(*effect));
}
cerr << "Number of preconditions left: " << _preconditions.size() << endl;