requires = "frama-c-wp.core"
