Update test so that DatpalaneTrace type checks