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