added test for adts