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