addInstance = preconds.contains(proposition);
if(proposition.negated() && !addInstance) {
/*Closed World Assumption*/
if(initialState != null && initialState.isPropositionLevel()){
PropositionLevel initial = (PropositionLevel) initialState;
PropositionImpl positiveProposition = new PropositionImpl(proposition.getFunctor());
positiveProposition.setTerms(proposition.getTerms());
if(!initial.hasProposition(positiveProposition)){
initial.addProposition(proposition);
}
}
//addInstance = true;
}
if(!addInstance) {