System.err.println("Big mess!");
}
for(Proposition proposition : copy.getPreconds()) {
PropositionImpl realProp = (PropositionImpl) proposition;
realProp.apply(unifier);
addInstance = preconds.contains(proposition);
if(proposition.negated() && !addInstance) {
/*Closed World Assumption*/
if(initialState != null && initialState.isPropositionLevel()){