// DONE
 @Override
 public void visit(OWLObjectAllRestriction desc) {
   // desc.getProperty().accept(this);
   desc.getFiller().accept(this);
   OWLDescription d = this.getRelevantDescription();
   this.rebuiltObjects.add(this.factory.getOWLObjectAllRestriction(desc.getProperty(), d));
 }
 public void visit(OWLObjectAllRestriction owlObjectAllRestriction) {
   try {
     owlObjectAllRestriction.getFiller().accept(this);
     ClassPointer classPointer = getLastClassPointer();
     owlObjectAllRestriction.getProperty().accept(this);
     ObjectPropertyPointer propertyPointer = getLastObjectPropertyPointer();
     lastClassPointer = faCTPlusPlus.getObjectAll(propertyPointer, classPointer);
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }