Java Checker fo Emptiness Problem on Infinite Trees