requires = "frama-c-pdg.core"
