Uses of Class
at.jku.risc.stout.uru.data.TermNode.TraverseCallBack