Given we want to remap var1 to var1' and var2 to var2'. At the moment we traverse an EVMDD twice do to so. But we should do it once. For that we probably need a map which maps remapping procedures to a particular id. For example a static map in SwapVars. Further the new SwapVar operator should take a map as input.