Module type ObserverAnalysis.PathArg

val path : (MyCFG.node * MyCFG.node) list