toAdd = false;
}
if (toAdd) {
synchronized(facts) {facts.add(le);}
}
else throw new LogicalExpressionAlreadyAddedException(le);
// NEED TO CHECK IF SOME COMMITMENT BECOME DETACHED/SATISFIED
// checkCommitmentsAfterInteractionStateElementAdding(le);
logger.debug("Check finished, actual status: "+this);
return added;