efxmap`remove-tgtmap-implies-deep-disjoint
removed is-tgtmap-empty.