fixed shift-preserves-set+nat2tgtmap-converse