/tests/aig/