let active_before_call kf =
  let (_,pre_trans) = Data_for_aorai.get_func_pre (Kernel_function.get_name kf)
  in
  let (_,trans) = Data_for_aorai.getAutomata () in
  List.fold_left
    (fun acc tr ->
      if pre_trans.(tr.numt) then 
        Data_for_aorai.Aorai_state.Set.add tr.start acc
      else acc)
    Data_for_aorai.Aorai_state.Set.empty trans