#include "KIFParser.hpp"
#include "antlr/NoViableAltException.hpp"
#include "antlr/SemanticException.hpp"
#include "IntNameTable.hpp"
#include "Signature.hpp"
#include "Problem.hpp"