requires = "frama-c-report.core"
