requires = "frama-c-scope.core"
