Basic tool for emptiness problem on Rabin tree automata