//TODO Eventually this should be done through configuration and reflection
LevelGeneratorImpl levelGenerator = new LevelGeneratorImpl();
this.actionLevelGenerator = levelGenerator;
this.propositionLevelGenerator = levelGenerator;
//And the mutex generator
this.mutexGenerator = new MutexGeneratorImpl();
this.propositions = new TreeSet<Proposition>();
this.operators = new TreeSet<Operator>();
}