requires = "frama-c-callgraph.core"
