Normalize pseudo adt