requires = "frama-c-metrics.core"
