Made state_timestamp_t::pred be debug-only (just because we can).