let action_to_pred ~pre_state ~post_state kf =
  let my_stmt = Kernel_function.find_return kf in
  let my_kinstr = Kstmt my_stmt in
  let updates =
    Data_for_aorai.get_action_path kf my_kinstr pre_state post_state
  in
  List.map (update_to_pred post_state) updates