Kill inaccessible-branch complaints in record update