requires = "frama-c-occurrence.core"
