requires = "frama-c-obfuscator.core"
