Add ADT tests