fixed the inputs order for leq-preserves-cxt-efxmap.
in process of proving permission`left-preserves-equiv