requires = "frama-c-constant_propagation.core"
