Requirements on Heuristic Functions when Using A * in Domains with Transpositions