requires = "frama-c-reduc.core"
