requires = "frama-c-aorai.core"
