requires = "frama-c-nonterm.core"
