let update_and_tell_if_changed current_table kinstr d = try update_current_exn current_table kinstr d; true with State_imp.Unchanged -> false