SRC +=    src/aig/bar/bar.c