#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 


#include "clang/AST/DeclarationName.h"
#include "clang/Tooling/Core/Replacement.h"
#include "clang/Tooling/Tooling.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "../CLI11.hpp"
#include "CodePreprocessing.h"
#include "llvm/ADT/StringRef.h"
#include "clang/Basic/Diagnostic.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/AST/RecursiveASTVisitor.h"
#include "clang/Rewrite/Core/Rewriter.h"
#include "clang/AST/AST.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/Frontend/TextDiagnosticPrinter.h"
#include "clang/Basic/DiagnosticOptions.h"
#include "clang/AST/Type.h"
#include "clang/AST/Stmt.h"
#include 
#include 
#include 

#include "clang/AST/PrettyPrinter.h"
#include "clang/Basic/LangOptions.h"
#include "JavaGraph.h"

#include "clang/Rewrite/Frontend/FixItRewriter.h"
#include 
#include "clang/Analysis/CFG.h"
#include "clang/Lex/Lexer.h"
#include 

#include "Enumerator.h"
#include "ClangVisitors.h"
#include "ExecutionTraces.cpp"
#include "ClangCompressedCFG.h"
#include "HyperGraph.h"
#include "MaxSATWrapper.h"
#include "SyntaxErrors.h"
#include "SemanticErrors.h"


int main(int argc, const char **argv) {

    CLI::App app{"Synthesizer"};

    std::string code_file, graph_file, resource_dir, trace;
    app.add_option("-f,--file", code_file, "Source code");
    app.add_option("-g,--graph", graph_file, "Graph code");
    app.add_option("-t,--trace", trace, "Trace code");

    app.add_option("-c, --clang-resource", resource_dir, "Clang resource dirs");

    CLI11_PARSE(app, argc, argv);
    std::cerr