requires = "frama-c-security_slicing.core"
