Logics of Programs -- Approximating Dependency Graphs Using Tree Automata Techniques --