made ac3 run on simple test cases