requires = "frama-c-loop-analysis.core"
