@Override
  public AnalysisReport verify() {
    addHeaderToVerifier();

    addRuleAssetToVerifier();

    fireAnalysis();

    VerifierReport report = verifier.getResult();

    return VerifierReportCreator.doReport(report);
  }
  public AnalysisReport verify(PackageItem packageItem, ScopesAgendaFilter scopesAgendaFilter) {
    this.packageItem = packageItem;

    addHeaderToVerifier();

    addToVerifier(
        packageItem.listAssetsByFormat(new String[] {AssetFormats.DSL}), ResourceType.DSL);

    // TODO: Model JARS

    addToVerifier(
        packageItem.listAssetsByFormat(new String[] {AssetFormats.DRL_MODEL}), ResourceType.DRL);

    addToVerifier(
        packageItem.listAssetsByFormat(new String[] {AssetFormats.FUNCTION}), ResourceType.DRL);

    addToVerifier(
        packageItem.listAssetsByFormat(new String[] {AssetFormats.DSL_TEMPLATE_RULE}),
        ResourceType.DSLR);

    addToVerifier(
        packageItem.listAssetsByFormat(new String[] {AssetFormats.DECISION_SPREADSHEET_XLS}),
        ResourceType.DTABLE);

    addGuidedDecisionTablesToVerifier();

    addDRLRulesToVerifier();

    addToVerifier(
        packageItem.listAssetsByFormat(new String[] {AssetFormats.BUSINESS_RULE}),
        ResourceType.BRL);

    fireAnalysis(scopesAgendaFilter);

    VerifierReport report = verifier.getResult();

    return VerifierReportCreator.doReport(report);
  }