Scalable Encoding of Modularized Dependency Graphs for Fast Analysis