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