sig val kf : Cil_types.kernel_function val initial_states : State_set.t val active_behaviors : Eval_annots.ActiveBehaviors.t end