rename adt vs match post