add committed_entry_exists_in_log invariant