Delete useless InputFree package, port Rabin Tree Automata Class' in
TreeAutomata package