requires = "frama-c-instantiate.core"
