#include <semaine/datatypes/stateinfo/NamespaceContext.h>
#include <fstream>
#include <string>
#include <list>