logger.finest("\n--> Init\n");
for(InitEl init: this.pddlObject.getInit()){
logger.finest(init.toString());
boolean negated = false;
Literal p = null;
if(init instanceof NotAtomicFormula){
p = (NotAtomicFormula) init;
negated = true;
} else p = (AtomicFormula) init;
PropositionImpl proposition = new PropositionImpl(!negated, p.getPredicate());
Iterator variables = p.iterator();
List<Term> terms = new ArrayList<Term>();
while(variables.hasNext()){
Constant var = (Constant) variables.next();
Atom term = new Atom(var.getImage());