#include <tagcoll/Implications.h>
#include <tests/test-utils.h>
#include <tagcoll/coll/simple.h>
#include <tagcoll/TextFormat.tcc>
#include <tagcoll/Implications.tcc>