#include <otawa/cfg/features.h>
#include <otawa/stats/BBStatCollector.h>
#include <elm/util/BitVector.h>