SAFT: Static Analysis with Finite Tree Automata Roskilde University, Denmark