k-swap-anti-unification