callGraph

val Theory.callGraph: Graph<Indicator, Boolean>