#include <astl.h>
#include <dfa.h>
#include <language.h>
#include <set_operation.h>
#include <cursor.h>
#include <neighbor.h>
int main()
{
DFA_matrix<> A, B;
// Constructions
ccopy(A, dfirstc(neighborc(B, "word", 2)));
DFA_matrix<> C;
clone(C, dfirstc(notc(diffc(forwardc(A), forwardc(B)))));
}