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