Revise AddrTransTable with unified state definitions.