Replace query.py by traversal.py (joern-tools)