Module graph 

Structs

DropRecord

SafeDropGraph

We represent each target function with the SafeDropGraph struct and then perform analysis based on the struct.