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