fixed shift-preserves-tgtmap2efxmap-converse
fixed set2inner-efxmap-preserves-disjoint-join