Test whether adt exists before trying to require it