test('determ013', [extra_files(['A.hs'])], makefile_test, ['determ013'])