requires = "frama-c-alias.core"
