CrawlSpecificationReader crawlerReader =
configurationReader.getCrawlSpecificationReader();
stateComparator = new StateComparator(crawlerReader.getOracleComparators());
invariantList = crawlerReader.getInvariants();
crawlConditionChecker = new CrawlConditionChecker(crawlerReader.getCrawlConditions());
waitConditionChecker.setWaitConditions(crawlerReader.getWaitConditions());
eventableConditionChecker =
new EventableConditionChecker(configurationReader.getEventableConditions());
elementChecker =