#include <otawa/prop/Identifier.h>
#include <otawa/prop/PropList.h>
#include <elm/io/BlockInStream.h>
#include <elm/io/Input.h>