#include "Test.h"

#include "TestEng.h"

int main() {
	Tree *tree = mk_Foo();
	Term *term = TestEng_lin(tree);
	return 0;
}